The Murφ Verification System (1996)

View PDF

Download Links

by David L. Dill
Venue:IN COMPUTER AIDED VERIFICATION. 8TH INTERNATIONAL CONFERENCE
Citations:167 - 8 self