A fresh approach to program proving (from Ada to machine code)
By: author, C. Lester & P. Huang.
Contributors: Huang, P.
Series: Technical report / Portsmouth Polytechnic, School of Information Science -- 91/3
Publisher: Portsmouth Polytechnic, School of Information Science
Published: 1991
Place of publication: Portsmouth
Language: eng