PLPV '14 : proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification : January 21, 2014, San Diego, California, USA
Autor principal: | |
---|---|
Autores Corporativos: | , |
Formato: | Libro electrónico |
Idioma: | Inglés |
Publicado: |
[Place of publication not identified]
ACM
2014
|
Colección: | ACM Conferences
|
Materias: | |
Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712854106719 |