Stefan Berghofer
发表
Tobias Nipkow,
Stefan Berghofer,
T. Nipkow,
2000,
TPHOLs.
David von Oheimb,
T. Nipkow,
Gerwin Klein,
1999
.
Christian Urban,
James Cheney,
Stefan Berghofer,
2008
.
T. Nipkow,
Dmitriy Traytel,
Stefan Berghofer,
2011
.
Michael Norrish,
Christian Urban,
Stefan Berghofer,
2007,
CADE.
Ulrich Berger,
H. Schwichtenberg,
Ulrich Berger,
2006,
Stud Logica.
Stefan Berghofer,
Markus Wenzel,
M. Wenzel,
1999,
TPHOLs.
Stefan Berghofer,
2013
.
Stefan Berghofer,
Martin Strecker,
Stefan Berghofer,
2004,
COCV@ETAPS.
James Cheney,
Stefan Berghofer,
Christian Urban,
2008
.
Stefan Berghofer,
Stefan Berghofer,
2003
.
Tobias Nipkow,
Christian Urban,
Stefan Berghofer,
2009,
TPHOLs.
Stefan Berghofer,
Stefan Berghofer,
2003,
TYPES.
Stefan Berghofer,
Markus Reiter,
Stefan Berghofer,
2009,
TPHOLs.
Tobias Nipkow,
Stefan Berghofer,
T. Nipkow,
2000,
TYPES.
Tobias Nipkow,
Stefan Berghofer,
T. Nipkow,
2004,
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Stefan Berghofer,
Markus Wenzel,
M. Wenzel,
2008,
AISC/MKM/Calculemus.
Stefan Berghofer,
Lukas Bulwahn,
Florian Haftmann,
2009,
TPHOLs.