Type of document: Report
Language: English
Author(s): Igarashi, Shigeru ; London, Ralph L. ; Luckham, David C.
Title: Automatic Program Verification I: A Logical Basis and its Implementation
Year: 1973
Source: Stanford Artificial Intelligence Laboratory
Pages: 1-53
Catalog