Automated Theorem Proving in Software EngineeringLivre électroniqueAutomated Theorem Proving in Software EngineeringdeJohann M. SchumannÉvaluation : 0 sur 5 étoiles0 évaluationEnregistrer Automated Theorem Proving in Software Engineering pour plus tard