Program verification

Bibliografiska uppgifter
Huvudupphovsman:	Francez, Nissim
Materialtyp:	Bok
Publicerad:	Wokingham, Eng. Addison-Wesley Pub. c1992.
Ämnen:	Computer software > Verification. Programming.