Deductive Software Verification: The KeY Book

Wolfgang Ahrendt , Bernhard Beckert , Richard Bubel