Proving correctness of executable programs
By: Kit Lester.
Series: Technical report / Portsmouth Polytechnic, School of Information Science -- 92/2
Publisher: Portsmouth Polytechnic, School of Information Science
Published: 1992
Place of publication: Portsmouth
Language: eng