Automated Theorem Proving in Software EngineeringLibro electrónicoAutomated Theorem Proving in Software EngineeringdeJohann M. SchumannCalificación: 0 de 5 estrellas0 calificacionesGuardar Automated Theorem Proving in Software Engineering para después