Construction of verified software systems with program-checking: An application to compiler back-ends (1999)

by Thilo Gaul, Andreas Heberle, Wolf Zimmermann, Wolfgang Goerigk
Venue:In Proceedings of the Workshop on Runtime Result Verification (RTRV’99