Mostrando 1 - 1 Resultados de 1 Para Buscar 'Abel, Andreas Contributor', tiempo de consulta: 0.01s Limitar resultados
  1. 1
    PLPV '13 : proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages meets Program Verification : January 22, 2013, Rome, Italy
    por Giacobazzi, Roberto
    Publicado 2013
    Otros Autores:
    Libro electrónico

Herramientas de búsqueda: