Formal development of programs and proofs

Formal development of programs and proofs

Bibliographic Details
Other Authors: Dijkstra, Edsger Wybe
Format: Book
Language:English
Published: Reading, Mass. Addison-Wesley c1990.
Subjects:
Electronic digital computers > Programming > Congresses.