On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction (1999)

Cached

Download Links

by V. Rusu , E. Singerman
Venue:TACAS '99
Citations:19 - 0 self