Model checking software: 15th international spin workshop, Los Angeles, CA, USA, August 10-12, 2008, proceedings

Detalles Bibliográficos
Autores principales: Havelund, Klaus, Majumdar, Rupak, Palsberg, Jens
Lenguaje:eng
Publicado: Springer 2008
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2756794

Internet

http://cds.cern.ch/record/2756794

Ejemplares similares