Proof-transforming compilation of programs with abrupt termination - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peter Müller, Martin Nordio. Proof-transforming compilation of programs with abrupt termination. In Arnd Poetzsch-Heffter, editor, Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, SAVCBS 2007, Dubrovnik, Croatia, September 3-4, 2007. pages 39-46, ACM, 2007. [doi]

This author has not been identified. Look up 'Peter Müller' in GoogleThis author has not been identified. Look up 'Martin Nordio' in Google

runs on WebDSL