TY  - BOOK
AU  - Igarashi, Shigeru.
AU  - London, Ralph L.
AU  - Luckham, David C.
TI  - Automatic program verification I: a logical basis and its implementation
U1  - 001.642 
PY  - 1973///
CY  - Stanford
PB  - Stanford University
ER  -