Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code.

Johann Schumann

Browse the full TABLEAUX paper archive.