Artifact Details

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

Lot Number

X2295.2002