An introduction to formal program verification

Dettagli Bibliografici
Autore principale:	Mili, Ali
Natura:	Libro
Lingua:	English
Pubblicazione:	New York Van Nostrand Reinhold c1985.
Soggetti:	Computer programs > Verification.