A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler

• Autores: Gerwin Klein, Tobias Nipkow
• Localización: ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 28, Nº 4, 2006, págs. 619-695
• Idioma: inglés
• Texto completo no disponible (Saber más ...)