Books by Bernhard Beckert Wolfgang Ahrendt

Deductive Software Verification – The KeY Book

Bernhard Beckert Wolfgang Ahrendt, Reiner Hähnle Richard Bubel, Mattias Ulbrich Peter H. Schmitt

₹2,825