Covering letter

Covering letter

to the report "A proof of a theorem of Lipton on Hoare logic and aplications.

Date: 
03.09.1980
Authors: