Automated Theorem Proving in Software EngineeringeBookAutomated Theorem Proving in Software EngineeringkaryaJohann M. SchumannPenilaian: 0 dari 5 bintang0 penilaianSimpan Automated Theorem Proving in Software Engineering untuk nanti