DMCA

Automatic Deductive Verification with Invisible Invariants (2001)

Cached

Download Links

by Amir Pnueli , Sitvanit Ruah , Lenore Zuck
Citations:102 - 11 self