![](/img/cover-not-exists.png)
[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - Formal verification of translation validators
Tristan, Jean-Baptiste, Leroy, XavierYear:
2008
Language:
english
DOI:
10.1145/1328438.1328444
File:
PDF, 252 KB
english, 2008