Using Automated Theorem Provers to Certify Auto-generated Aerospace Software (2004)

by E Denney, B Fischer, J Schumann
Venue:Proceedings of the 2nd International Joint Conference on Automated Reasoning, number 3097 in Lecture Notes in Artificial Intelligence