Stefan Körner
发表
Benedikt Nordhoff,
Peter Lammich,
Stefan Körner,
2010,
Arch. Formal Proofs.
Stefan Körner,
Thomas E. Hauck,
Sonja Dümpelmann,
2017
.
Klaus-Dieter Schubert,
Stefan Körner,
2007
.
Stefan Körner,
Markus Neuhof,
Paul Root,
2010
.
Stefan Körner,
Uwe Partsch,
Kathrin Reinhardt,
2014
.
Roman Kern,
Alexander Stocker,
Darko Stanisavljevic,
2018,
Mensch & Computer Workshopband.
Roman Kern,
Hannes Krasser,
Heimo Gursch,
2016,
Mensch & Computer Workshopband.