Shriram Krishnamurthi. Tierless Programming and Reasoning for Networks. In Michael Clarkson, Limin Jia, editors, Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July 4-10, 2015. pages 42, ACM, 2015. [doi]
Abstract is missing.