Program Logics for Certified Compilers
- Autor
- Appel/Dockins/Hobor/Beringer/Dodds/Stewart/Blazy/Leroy
- Matèria
-
- Computer Science
-
- Communications
-
- Information Theory and Security
-
- Programming Languages and Applied Logic
- Editor
- Cambridge University Press
- Data publicació
- 2014
- Identificador
- 9781107256552
- Col·lecció
- Accés https://doi.org/10.1017/CBO9781107256552