(1 - 17 von 18
)
Accepted papers & Videos presentations | NETYS 2021netys.net › history › netys2021 › accepted-papers
netys.net
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz and Andreas Podelski. Separating Map Variables in a Logic-based Intermediate Verification ...
ETAPS Programme Thursday April 10th
etaps.org
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, and Andreas Podelski ... › programme
sortiert nach Relevanz / Datum