Program verification

Detalles Bibliográficos
Autor Principal:	Francez, Nissim
Formato:	Libro
Publicado:	Wokingham, Eng. Addison-Wesley Pub. c1992.
Subjects:	Computer software > Verification. Programming.