Title
A necessary and sufficient condtion for the existence of Hoare logics
Document Titles
A necessary and sufficient condtion for the existence of Hoare logics
Catalog Number
102660559
Type
Document
Description
Blue and White series CSL-77-4
Date
1977
Author
Lipton, Richard J.
Publisher
Xerox PARC (Palo Alto Research Center)
Extent
17 pages
Category
Technical Report
Collection Title
Company Collection