Title
A necessary and sufficient condition for the existence of Hoare logics
Catalog Number
102653440
Type
Document
Date
1977-06
Author
Lipton, Richard J.
Publisher
Xerox PARC (Palo Alto Research Center)
Category
Technical Report
Credit
Gift of Mike Rutenberg