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

by P Müller, M Nordio
Venue:In SAVCBS ’07: Proceedings of the 2007 conference on Specification and verification of component-based systems