An introduction to formal program verification

Bibliographische Detailangaben
1. Verfasser:	Mili, Ali
Format:	Buch
Sprache:	English
Veröffentlicht:	New York Van Nostrand Reinhold c1985.
Schlagworte:	Computer programs > Verification.