An overview of formal program proving and the correctness of Ada programs
By: Peisong Huang.
Publisher: University of Portsmouth
Published: 1993
Place of publication: Portsmouth
Language: eng
Notes: Thesis (M.Phil.) - University of Portsmouth, 1993.