Georg Rock
发表
Lucas Kuentzer,
Marcel Schwarzenbarth,
Daniel Siladjev,
2020
.
福田 収一,
Daniel D. Frey,
Georg Rock,
2011,
ISPE CE.
Cees Bil,
Georg Rock,
Josip Stjepandic,
2013,
ISPE CE.
Georg Rock,
Lucas Küntzer,
Michael Hoffmann,
2019,
DeLFI.
Andreas Nonnengart,
Bruno Langenstein,
Werner Stephan,
2007,
VERIFY.
Dieter Hutter,
Kurt Stenzel,
Wolfgang Reif,
1998,
FM-Trends.
Lassaad Cheikhrouhou,
Georg Rock,
Gunter Lassmann,
2008
.
Georg Rock,
Stefan Mann,
2011,
VaMoS '11.
Andreas Nonnengart,
Bruno Langenstein,
Werner Stephan,
2007,
SAFECOMP.
Georg Rock,
Stefan Mann,
Georg Rock,
2009
.
Georg Rock,
Stefan Mann,
Fabian Kliemannel,
2010,
VaMoS.
Werner Stephan,
Georg Rock,
Andreas Wolpers,
1998,
Tool Support for System Specification, Development and Verification.
Andreas Nonnengart,
Werner Stephan,
Georg Rock,
2002,
FASE.
Georg Rock,
Stefan Mann,
Prostep Imp,
2009
.
Georg Rock,
Sylvia Klawitter,
2012,
ISPE CE.
Werner Stephan,
Georg Rock,
Andreas Wolpers,
1998,
FBT.
Georg Rock,
Robert Rößger,
2013,
ISPE CE.
Georg Rock,
Ralf Gümmer,
Christopher Junk,
2012,
ISPE CE.
Lassaad Cheikhrouhou,
Andreas Nonnengart,
Werner Stephan,
2008,
KI.
Christoph Weidenbach,
Andreas Nonnengart,
Georg Rock,
1998,
CADE.
Christoph Weidenbach,
Georg Rock,
Bernd Gaede,
1996,
CADE.
Georg Rock,
Jürgen Ommen,
Georg Rock,
2015,
VaMoS.
Gunter Laßmann,
Lassaad Cheikhrouhou,
Werner Stephan,
2006,
SAFECOMP.
Dieter Hutter,
Axel Schairer,
Roland Vogt,
2000,
International Journal on Software Tools for Technology Transfer.
Andreas Nonnengart,
Bruno Langenstein,
Werner Stephan,
2005,
Mechanizing Mathematical Reasoning.
Georg Rock,
G. Rock,
2004
.
Georg Rock,
Christian Bettinger,
Anna Schmitt,
2019
.
Christoph Weidenbach,
Georg Rock,
Patrick Wischnewski,
2015,
ISPE CE.
Werner Stephan,
Georg Rock,
Andreas Wolpers,
1999,
FBT.
Jörg H. Siekmann,
Dieter Hutter,
Roland Vogt,
2000,
J. Exp. Theor. Artif. Intell..
Werner Stephan,
Georg Rock,
Andreas Wolpers,
1997,
FBT.
Andreas Nonnengart,
Werner Stephan,
Georg Rock,
2001,
FLAIRS Conference.
Werner Stephan,
Georg Rock,
Michael Brodski,
2000,
FLAIRS Conference.
Werner Stephan,
Georg Rock,
Andreas Wolpers,
1998
.