An introduction to formal program verification /

An introduction to formal program verification /

57

Bibliographic Details
Main Author: 208742 Mili, Ali
Format:
Published: New York : Van Nostrand Reinhold, 1985
Subjects:
Computer programs

Similar Items