W. Grieskamp
发表
Xiang Li,
Yiming Cao,
T. H. Tse,
2011,
Softw. Pract. Exp..
W. Grieskamp,
Marcus Klar,
Robert B ussow,
1999
.
W. Grieskamp,
Marcus Klar,
R. Geisler,
2007
.
Mike Barnett,
Wolfram Schulte,
N. Tillmann,
2003
.
W. Grieskamp,
P. Pepper,
Thomas Frauenstein,
2002
.
Alexandre Petrenko,
Margus Veanes,
Jan Tretmans,
2007
.
Alexandre Petrenko,
Margus Veanes,
Jan Tretmans,
2007
.
Alexandre Petrenko,
Margus Veanes,
Jan Tretmans,
2007
.
Alexandre Petrenko,
Margus Veanes,
Jan Tretmans,
2007
.
Wolfgang Grieskamp,
Peter Pepper,
Klaus Didrich,
1994,
Programming Languages and System Architectures.
W. Grieskamp,
AbstractKlaus,
Didrich,
1994
.
Wolfgang Grieskamp,
W. Grieskamp,
1999
.
Myra B. Cohen,
John A. Clark,
Tsong Yueh Chen,
2013
.
R. Hierons,
A. Pretschner,
W. Grieskamp,
2011
.
C. Campbell,
W. Grieskamp,
N. Kicillof,
2005
.
Timon Van Overveldt,
H. B. McMahan,
Jakub Konecný,
2022
.
Hubert Eichner,
Jakub Konecný,
H. Brendan McMahan,
2019,
SysML.
Martin Gogolla,
Ernst-Rüdiger Olderog,
Grit Denker,
1995,
KORSO Book.
Wolfgang Grieskamp,
Peter Pepper,
Klaus Didrich,
1996,
AMAST.
Maritta Heisel,
Heiko Dörr,
Wolfgang Grieskamp,
2001,
Sci. Comput. Program..
Wolfgang Grieskamp,
Robert Büssow,
W. Grieskamp,
1999,
IFM.
Maritta Heisel,
Heiko Dörr,
Wolfgang Grieskamp,
1998,
FASE.
Wolfgang Grieskamp,
Víctor A. Braberman,
Nicolas Kicillof,
2011,
Softw. Test. Verification Reliab..
Myra B. Cohen,
John A. Clark,
Mark Harman,
2013,
J. Syst. Softw..
Myra B. Cohen,
Wolfgang Grieskamp,
Xiao Qu,
2009,
TestCom/FATES.
Margus Veanes,
Wolfram Schulte,
Yuri Gurevich,
2001
.
Clark W. Barrett,
C. Tinelli,
S. Qadeer,
2022,
IJCAR.
Yves Le Traon,
Bruno Legeard,
Henry Muccini,
2010,
Practical Software Testing: Tool Automation and Human Factors.
Wolfram Schulte,
Wolfgang Grieskamp,
Wolfram Schulte,
1991,
Declarative Programming.
Manfred Broy,
Martin Wirsing,
Wolfgang Reif,
1994
.
Margus Veanes,
Wolfram Schulte,
Yuri Gurevich,
2002,
ISSTA '02.
Wolfgang Grieskamp,
Peter Pepper,
Klaus Didrich,
1997,
Implementation of Functional Languages.
Sam Blackshear,
Wolfgang Grieskamp,
Clark Barrett,
2020,
CAV.
Wolfgang Grieskamp,
Robert Büssow,
W. Grieskamp,
1997,
ASIAN.
Wolfgang Grieskamp,
Peter Pepper,
Mario Südholt,
1996,
Ershov Memorial Conference.
Nikolai Tillmann,
Wolfgang Grieskamp,
Nicolas Kicillof,
2006,
Int. J. Softw. Eng. Knowl. Eng..
Wolfgang Grieskamp,
W. Grieskamp,
2006,
FATES/RV.
Margus Veanes,
Nikolai Tillmann,
Colin Campbell,
2005,
FM.
Margus Veanes,
Nikolai Tillmann,
Colin Campbell,
2008,
Formal Methods and Testing.
Alexandre Petrenko,
Michael D. Ernst,
Shay Artzi,
2006
.
Margus Veanes,
Nikolai Tillmann,
Wolfram Schulte,
2003,
FATES.
Margus Veanes,
Nikolai Tillmann,
Colin Campbell,
2003
.
Margus Veanes,
Nikolai Tillmann,
Wolfram Schulte,
2003
.
Wolfgang Grieskamp,
W. Grieskamp,
2000,
ZB.
Rafael Dueire Lins,
Pieter H. Hartel,
Peter Lee,
1996,
Journal of Functional Programming.
Margus Veanes,
Nikolai Tillmann,
Wolfram Schulte,
2003,
Third International Conference on Quality Software, 2003. Proceedings..
Margus Veanes,
Nikolai Tillmann,
Wolfgang Grieskamp,
2004,
Inf. Softw. Technol..
Alok Nandan,
Wolfgang Grieskamp,
Nicolas Kicillof,
2008,
2008 1st International Conference on Software Testing, Verification, and Validation.