Mostrando 1 - 1 Resultados de 1 Para Buscar 'Swierstra, Wouter Contributor', tiempo de consulta: 0.01s Limitar resultados
  1. 1
    PLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA
    por Jhala, Ranjit
    Publicado 2011
    Otros Autores:
    Libro electrónico

Herramientas de búsqueda: