Alexander J. Summers
Software Verification “Across the Stack”
ECOOP, 2015.
@inproceedings{ECOOP-2015-Summers, author = "Alexander J. Summers", booktitle = "{Proceedings of the 29th European Conference on Object-Oriented Programming}", doi = "10.4230/LIPIcs.ECOOP.2015.3", isbn = "978-3-939897-86-6", pages = "3", publisher = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}", series = "{Leibniz International Proceedings in Informatics}", title = "{Software Verification “Across the Stack”}", volume = 37, year = 2015, }