Program verification

Détails bibliographiques
Auteur principal:	Francez, Nissim
Format:	Livre
Publié:	Wokingham, Eng. Addison-Wesley Pub. c1992.
Sujets:	Computer software > Verification. Programming.