Program verification /
Program verification /
Francez,Nissim
- Workingham : Addison-Wesley, c1992
- xi,312p.: ill.; 25cm. It includes bibliographical references and indexes
0 201 41608 5
--Computer programs
005.14 FRA
0 201 41608 5
--Computer programs
005.14 FRA