Systems and Software Verification: Model-Checking Techniques and Tools

Detalles Bibliográficos
Autores principales: Bérard, B, Bidoit, M, Finkel, A, Laroussinie, F
Lenguaje:eng
Publicado: Springer 2001
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/1071791
Descripción
Descripción no disponible.

Ejemplares similares