Richard Bubel

Books that list Richard Bubel among their authors but not as the lead author: co-written works, collections and compilations.

Logic of Software. a Tasting Menu of Formal MethodsWolfgang Ahrendt

Logic of Software. a Tasting Menu of Formal Methods

Wolfgang Ahrendt · 2022

Deductive Software Verification : Future PerspectivesWolfgang Ahrendt

Deductive Software Verification : Future Perspectives

Wolfgang Ahrendt · 2020

Deductive Software Verification - the KeY BookWolfgang Ahrendt

Deductive Software Verification - the KeY Book

Wolfgang Ahrendt · 2017