Formal methods of program verification and specification

Formal methods of program verification and specification

Bibliographic Details
Other Authors: Berg, H. K.
Format: Book
Language:English
Published: Englewood Cliffs, N.J. Prentice-Hall c1982.
Subjects:
Computer programs > Specification.
Computer programs > Verification.