Automated Theorem Proving in Software EngineeringE-bookAutomated Theorem Proving in Software EngineeringdiJohann M. SchumannValutazione: 0 su 5 stelle0 valutazioniSalva Automated Theorem Proving in Software Engineering per dopo