Persistent URL of this record https://hdl.handle.net/1887/3198466
In Collections
This item can be found in the following collections:
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic
- All authors
- Gouw, S. de; Boer, F.S. de; Ahrendt, W.; Bubel, R.
- Date
- 2016
- Volume
- 15
- Issue
- 4
- Pages
- 1117 - 1140