Program verification

Podrobná bibliografie
Hlavní autor:	Francez, Nissim
Médium:	Kniha
Vydáno:	Wokingham, Eng. Addison-Wesley Pub. c1992.
Témata:	Computer software > Verification. Programming.