A Platform for Combining Deductive with Algorithmic Verification (0)

Cached

Download Links

by Amir Pnueli , Elad Shahar
Venue:Proc. 8 th Intl. Conference on Computer Aided Verification (CAV’96), volume 1102 of Lect. Notes in Comp. Sci
Citations:42 - 16 self