G. Bruns
发表
Patrice Godefroid,
Glenn Bruns,
Patrice Godefroid,
2001,
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Stuart Anderson,
Glenn Bruns,
G. Bruns,
1995
.
G. Bruns,
2023,
ArXiv.
Luca Cardelli,
Roberto M. Amadio,
Martin Abadi,
2019,
WWW.
Michael Benedikt,
Philip Bohannon,
Glenn Bruns,
2006,
CleanDB.
Michael Huth,
Glenn Bruns,
M. Huth,
2011,
TSEC.
Patrice Godefroid,
Glenn Bruns,
Patrice Godefroid,
1999,
CAV.
Glenn Bruns,
G. Bruns,
1997,
Sci. Comput. Program..
Glenn Bruns,
G. Bruns,
1992,
CAV.
Michael Huth,
Glenn Bruns,
Daniel S. Dantas,
2007,
FMSE '07.
Mauricio Cortes,
Glenn Bruns,
G. Bruns,
2011,
2011 IEEE International Conference on Web Services.
Glenn Bruns,
G. Bruns,
1993,
CONCUR.
Stuart Anderson,
Glenn Bruns,
G. Bruns,
1991,
Formal Aspects of Computing.
Stuart Anderson,
Glenn Bruns,
G. Bruns,
1992
.
Radha Jagadeesan,
James Riely,
Alan Jeffrey,
2004,
CONCUR.
Michael Huth,
Philip W. L. Fong,
Glenn Bruns,
2012,
CODASPY '12.
Javier Esparza,
Glenn Bruns,
G. Bruns,
1996,
Theor. Comput. Sci..
Glenn Bruns,
G. Bruns,
1997
.
Colin Potts,
Glenn Bruns,
G. Bruns,
1988,
Proceedings. [1989] 11th International Conference on Software Engineering.
G. Bruns,
M. Cortes,
2023,
ArXiv.
Michael Benedikt,
Thomas Ball,
Kenneth C. Cox,
1997,
DSL.
Michael Huth,
Kumar Avijit,
Glenn Bruns,
2011,
SACMAT '11.
Patrice Godefroid,
Glenn Bruns,
Patrice Godefroid,
2000,
CONCUR.
Satish Chandra,
Glenn Bruns,
S. Chandra,
2002,
SIGSOFT '02/FSE-10.
Thomas Ball,
Kenneth C. Cox,
Glenn Bruns,
1999,
IEEE Trans. Software Eng..
Patrice Godefroid,
Glenn Bruns,
Patrice Godefroid,
2004,
ICALP.
Glenn Bruns,
Peter Mataga,
Alan E. Frey,
2000,
Bell Labs Technical Journal.
Michael Benedikt,
Glenn Bruns,
G. Bruns,
2004,
AMAST.
Hyoseop Lee,
Matthew Andrews,
Glenn Bruns,
2014,
TOIT.
Hyoseop Lee,
Matthew Andrews,
Glenn Bruns,
2014,
2014 48th Annual Conference on Information Sciences and Systems (CISS).