New developments in program verification

Detalles Bibliográficos
Autor principal: Wolper, P
Lenguaje:eng
Publicado: CERN 1991
Materias:
Computing and Computers
Acceso en línea:https://dx.doi.org/10.5170/CERN-1991-005.91
http://cds.cern.ch/record/340277

Internet

https://dx.doi.org/10.5170/CERN-1991-005.91
http://cds.cern.ch/record/340277

Ejemplares similares