Automated Theorem Proving in Software EngineeringCărți electroniceAutomated Theorem Proving in Software EngineeringdinJohann M. SchumannEvaluare: 0 din 5 stele0 evaluăriSalvați Automated Theorem Proving in Software Engineering pentru mai târziu