Sarah Grebing
发表
Heinz Wörn,
Bernhard Beckert,
Mattias Ulbrich,
2015
.
Bernhard Beckert,
Sarah Grebing,
Bernhard Beckert,
2015,
Bridging@CADE.
Mattias Ulbrich,
Sarah Grebing,
Mattias Ulbrich,
2020,
20 Years of KeY.
Bernhard Beckert,
Sarah Grebing,
Florian Böhl,
2014,
SEFM Workshops.
Bernhard Beckert,
Daniel Grahl,
Sarah Grebing,
2010,
VERIFY@IJCAR.
Mattias Ulbrich,
Jonas Klamroth,
Sarah Grebing,
2019,
VSTTE.
Bernhard Beckert,
Sarah Grebing,
Bernhard Beckert,
2012,
COMPARE.
Wolfgang Ahrendt,
Sarah Grebing,
2016,
Deductive Software Verification.
Vladimir Klebanov,
Mattias Ulbrich,
Philipp Rümmer,
2014,
Software Engineering & Management.
Bernhard Beckert,
Sarah Grebing,
Florian Böhl,
2014,
UITP.
Bernhard Beckert,
Alexander Weigl,
Sarah Grebing,
2018,
ArXiv.
Bernhard Beckert,
Vladimir Klebanov,
Christoph Scheben,
2014,
VSTTE.
Bernhard Beckert,
Mattias Ulbrich,
Sarah Grebing,
2017,
Haifa Verification Conference.
Sarah Grebing,
2019
.