Johann M. Schumann

• Automated Theorem Proving in Software Engineering