Automated Theorem Proving in Software EngineeringE-bookAutomated Theorem Proving in Software EngineeringdeJohann M. SchumannNota: 0 de 5 estrelas0 notasSalve Automated Theorem Proving in Software Engineering para mais tarde