CSL-77-4_A_Necessary_and_Sufficient_Condition_for_the_Existence_of_Hoare_Logics_197706.pdf

./bitsavers/pdf/xerox/parc/techReports/CSL-77-4_A_Necessary_and_Sufficient_Condition_for_the_Existence_of_Hoare_Logics_197706.pdf
Download Torrent Open Magnet Link
File Details
Size 1.47 MB
RegionWorld
Hashes
CRC327c086994
MD5ad12feba2cd295f902c13ee0dd82e895
SHA-1ea5d563b5f1d44a6ee40e361865a8661a0a35e44
SHA-256274ff8f30c65d6825ede94cd2f8bce600df412bd3d1bcaefb1adf7150620dee8