Jan Smans
发表
Frank Piessens,
Jan Smans,
Bart Jacobs,
2011,
FM.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2012,
NASA Formal Methods.
Frank Piessens,
Jan Smans,
Wolfram Schulte,
2006,
ICFEM.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2009
.
Frank Piessens,
Jan Smans,
Pieter Philippaerts,
2014,
Sci. Comput. Program..
Frank Piessens,
Jan Smans,
Bart Jacobs,
2008
.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2010
.
Wouter Joosen,
Frank Piessens,
Jan Smans,
2005
.
Frank Piessens,
Jan Smans,
Wolfram Schulte,
2008,
FASE.
Tom Ridge,
Natarajan Shankar,
Frank Piessens,
2011,
FM.
Jan Smans,
K. Rustan M. Leino,
Peter Müller,
2009,
FOSAD.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2015,
International Journal on Software Tools for Technology Transfer.
Jan Smans,
K. Rustan M. Leino,
Peter Müller,
2010,
ESOP.
Tom Ridge,
Frank Piessens,
Bart Jacobs,
2011
.
Frank Piessens,
Jan Smans,
K. Rustan M. Leino,
2008,
TOPL.
Frank Piessens,
Jan Smans,
Wolfram Schulte,
2007
.
Frank Piessens,
Jan Smans,
Wolfram Schulte,
2006
.
Frank Piessens,
Jan Smans,
Wolfram Schulte,
2010,
Formal Aspects of Computing.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2008,
TOPL.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2009
.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2011
.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2010,
FMOODS/FORTE.
Dominique Devriese,
Frank Piessens,
Jan Smans,
2014
.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2011,
FMOODS/FORTE.
Frank Piessens,
Jan Smans,
Pieter Philippaerts,
2011
.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2008,
FMOODS.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2010,
APLAS.
Jan Smans,
K. Rustan M. Leino,
Peter Müller,
2017
.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2010
.
Wouter Joosen,
Frank Piessens,
Jan Smans,
2005,
SESS@ICSE.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2009,
ECOOP.
Wouter Joosen,
Frank Piessens,
Jan Smans,
2005
.
Frank Piessens,
Jan Smans,
Wolfram Schulte,
2007,
TV@FLoC.
Jan Smans,
K. Rustan M. Leino,
Peter Müller,
2010
.
Frank Piessens,
Jan Smans,
Pieter Philippaerts,
2011,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Frank Piessens,
Jan Smans,
Bart Jacobs,
2009
.
Frank Piessens,
Jan Smans,
Pieter Philippaerts,
2011,
NASA Formal Methods.
Wouter Joosen,
Frank Piessens,
Jan Smans,
2005,
SESS@ICSE.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2006,
J. Object Technol..
Frank Piessens,
Jan Smans,
Bart Jacobs,
2013,
Aliasing in Object-Oriented Programming.