Title: Automated Theorem Proving in Software Engineering
Subjects: Démonstration automatique, Automatisches Beweisverfahren, Software engineering, Software Engineering, Automatic theorem proving, Théorèmes, Génie logiciel