Deductive Software Verification – The KeY BookWolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias UlbrichHäftad1 314 kr
Verification of Object-Oriented Software. The KeY ApproachBernhard Beckert, Reiner Hähnle, Peter H. SchmittHäftad1 096 kr
Verification of Object-Oriented Software. The KeY ApproachBernhard Beckert, Reiner Hähnle, Peter H. SchmittHäftad1 096 kr
Deductive Software Verification – The KeY BookWolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias UlbrichHäftad1 314 kr