DMCA
PVS: A Prototype Verification System (1992)
by
S. Owre
,
J. M. Rushby
,
N. Shankar
Venue: | CADE |
Citations: | 654 - 16 self |