Holger Grandy
发表
Wolfgang Reif,
Gerhard Schellhorn,
Dominik Haneberg,
2007,
Formal Aspects of Computing.
Kurt Stenzel,
Wolfgang Reif,
Holger Grandy,
2006
.
Kurt Stenzel,
Wolfgang Reif,
Dominik Haneberg,
2006,
ETRICS.
Kurt Stenzel,
Wolfgang Reif,
Holger Grandy,
2005,
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).
Holger Grandy,
Sebastian Benz,
2009,
GI Jahrestagung.
Kurt Stenzel,
Wolfgang Reif,
Holger Grandy,
2007,
FMOODS.
Markus Bischof,
Kurt Stenzel,
Wolfgang Reif,
2008,
FM.
Kurt Stenzel,
Wolfgang Reif,
Holger Grandy,
2007,
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).
Holger Grandy,
2008
.
Wolfgang Reif,
Gerhard Schellhorn,
Dominik Haneberg,
2007,
IFM.
Frank Ortmeier,
Kurt Stenzel,
Wolfgang Reif,
2005
.
Kurt Stenzel,
Wolfgang Reif,
Nina Moebius,
2009,
2009 International Conference on Availability, Reliability and Security.
Kurt Stenzel,
Wolfgang Reif,
Nina Moebius,
2009,
2009 Australian Software Engineering Conference.
Wolfgang Reif,
Gerhard Schellhorn,
Dominik Haneberg,
2005,
Abstract State Machines.
Kurt Stenzel,
Wolfgang Reif,
Holger Grandy,
2008,
AMAST.
Wolfgang Reif,
Gerhard Schellhorn,
Nina Moebius,
2009,
Rigorous Methods for Software Construction and Analysis.
Wolfgang Reif,
Gerhard Schellhorn,
Dominik Haneberg,
2006,
FM.
Michael Strolz,
Holger Grandy,
Matthias Lindner,
2014
.