DMCA

Modularization and Abstraction: The Keys to Practical Formal Verification (1998)

Cached

Download Links

by Yonit Kesten , Amir Pnueli
Venue:LECTURE NOTES IN COMPUTER SCIENCE
Citations:18 - 0 self