Automated Theorem Proving in Software EngineeringeBookAutomated Theorem Proving in Software EngineeringvonJohann M. SchumannBewertung: 0 von 5 Sternen0 BewertungenAutomated Theorem Proving in Software Engineering für später speichern