Mostrando 1 - 2 Resultados de 2 Para Buscar 'Felty, Amy', tiempo de consulta: 0.01s Limitar resultados
  1. 1
    LFMTP 2014 : proceedings of the ninth International Workshop on Logical Frameworks and Meta-Languages : Theory and Practice : July 17, 2014, Vienna, Austria
    por Felty, Amy
    Publicado 2014
    Otros Autores: “…Felty, Amy…”
    Libro electrónico
  2. 2
    CPP '18 : proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs : January 8-9, 2018, Los Angeles, CA, USA
    Publicado 2018
    Otros Autores: “…Felty, Amy, editor…”
    Libro electrónico
Herramientas de búsqueda: RSS – Enviar por Correo electrónico esta Búsqueda