Mostrando 1 - 1 Resultados de 1 Para Buscar 'Danielsson, Nils Anders', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    PLPV '14 : proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification : January 21, 2014, San Diego, California, USA
    por Danielsson, Nils Anders
    Publicado 2014
    Otros Autores: “…Danielsson, Nils Anders…”
    Libro electrónico
Herramientas de búsqueda: RSS – Enviar por Correo electrónico esta Búsqueda