Proof-transforming compilation of programs with abrupt termination (2007)

Cached

Download Links

by Peter Müller , Martin Nordio
Venue:In Sixth International Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2007
Citations:17 - 7 self