Program verification

Nissim Francez
Bok · Engelsk · 1992

Utgitt	Wokingham : Addison-Wesley , 1992
Omfang	xi, 312 s. : fig.
Emner	Datamaskinprogrammer - Prøving Verifikasjon programverifikasjon
ISBN	0201416085