A Framework for Combining Analysis and Verification.

Nevin Heintze Joxan Jaffar Razvan Voicu A Framework for Combining Analysis and Verification. 26-39 2000 conf/popl/2000 POPL http://doi.acm.org/10.1145/325694.325700 db/conf/popl/popl2000.html#HeintzeJV00