Program verification

Bibliographische Detailangaben
1. Verfasser:	Francez, Nissim
Format:	Buch
Veröffentlicht:	Wokingham, Eng. Addison-Wesley Pub. c1992.
Schlagworte:	Computer software > Verification. Programming.