Program verification

Detalhes bibliográficos
Autor principal:	Francez, Nissim
Formato:	Livro
Publicado em:	Wokingham, Eng. Addison-Wesley Pub. c1992.
Assuntos:	Computer software > Verification. Programming.