@inproceedings{3db4843a2ff54cd7b5de6e8be27766c5,
title = "High-level separation logic for low-level code",
author = "Jensen, \{Jonas Buhrkal\} and Nick Benton and Andrew Kennedy",
year = "2013",
month = jan,
doi = "10.1145/2429069.2429105",
language = "English",
isbn = "978-1-4503-1832-7",
pages = "301--313",
booktitle = "POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages",
publisher = "Association for Computing Machinery",
address = "United States",
}