The interactive development of programs and their proofs.
Published: 1983
Language: eng
Number of pages: 56