Fingerprint
Dive into the research topics of 'Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel
Research output: Contribution to journal › Article › Academic › peer-review