DMCA

The Verification Problem for Safe Replaceability (1994)

Cached

Download Links

by Vigyan Singhal , Carl Pixley
Venue:IN PROCEEDINGS OF 6TH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED VERIFICATION, CAV'94
Citations:9 - 2 self