Author:Martin Schäf

Publications
Abduction by Non-Experts Nikolaj Bjorner, Dejan Jovanović, Tancrède Lepoint, Philipp Rümmer and Martin Schäf In:IWIL Workshop and LPAR Short Presentations
Quantified Heap Invariants for Object-Oriented Programs Temesghen Kahsai, Rody Kersten, Philipp Rümmer and Martin Schäf In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning