@inproceedings{ESOP-2010-NaumannB,
author = "David A. Naumann and Anindya Banerjee",
booktitle = "{Proceedings of the 19th European Symposium on Programming}",
doi = "10.1007/978-3-642-11957-6_2",
editor = "Andrew D. Gordon",
isbn = "978-3-642-11956-9",
pages = "2--22",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions}",
volume = 6012,
year = 2010,
}
Tags: