Autor principal: |
Chlipala, Adam
(-) |
Autores Corporativos: |
International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice Corporate Author
(corporate author),
International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
(-),
ACM Special Interest Group on Programming Languages Content Provider
(content provider) |
Formato: | Libro electrónico
|
Idioma: | Inglés |
Publicado: |
[Place of publication not identified]
ACM
2012
|
Colección: | ACM Conferences
|
Materias: | |
Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713910906719 |