[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - High-level separation logic for low-level code
Jensen, Jonas B., Benton, Nick, Kennedy, AndrewYear:
2013
Language:
english
DOI:
10.1145/2429069.2429105
File:
PDF, 608 KB
english, 2013