Wolfgang Ahrendt

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic

Stijn de Gouw et al. (2016) · Software and Systems Modeling

Deductive Software Verification – The KeY Book

Mattias Ulbrich et al. (2016)

Abstract Object Creation in Dynamic Logic: To Be or Not to Be Created

Wolfgang Ahrendt et al. (2009) · FM 2009: Formal Methods