![](/img/cover-not-exists.png)
[ACM Press the 34th ACM SIGPLAN conference - Seattle, Washington, USA (2013.06.16-2013.06.19)] Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 - Translation validation for a verified OS kernel
Sewell, Thomas Arthur Leck, Myreen, Magnus O., Klein, GerwinYear:
2013
Language:
english
DOI:
10.1145/2491956.2462183
File:
PDF, 701 KB
english, 2013