@InProceedings{DFS04-IJCAR,
    Author       = "Denney, E. and Fischer, B. and Schumann, J.",
    Year         = "2004",
    Title        = "{Using Automated Theorem Provers to Certify Auto-generated
                    Aerospace Software}",
    Editor       = "Rusinowitch, M. and Basin, D.",
    BookTitle    = "{Proceedings of the 2nd International Joint Conference on
                    Automated Reasoning}",
    Place        = "Cork, Ireland",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "3097",
    Pages        = "198-212",
    Comment      = "TPTPRef,TPTPCite"
}