Automated Theorem Proving in Software EngineeringEbookAutomated Theorem Proving in Software EngineeringbyJohann M. SchumannRating: 0 out of 5 stars0 ratingsSave Automated Theorem Proving in Software Engineering for later
