Ioannis T. Kassios
发表
Ioannis T. Kassios,
2001
.
Ioannis T. Kassios,
Eleftherios Kritikos,
2013,
ESOP.
Alexander J. Summers,
Ioannis T. Kassios,
Stefan Heule,
2012
.
Peter Müller,
Ioannis T. Kassios,
Malte Schwerhoff,
2012,
VSTTE.
Monica M. C. Schraefel,
Ioannis T. Kassios,
2002,
DCW.
Nikolaos S. Papaspyrou,
Ioannis T. Kassios,
2005
.
Ioannis T. Kassios,
Eleftherios Kritikos,
2012
.
Ioannis T. Kassios,
2010,
Formal Aspects of Computing.
Peter Müller,
Alexander J. Summers,
Ioannis T. Kassios,
2012
.
Ioannis T. Kassios,
2005,
FM.
Peter Müller,
Ioannis T. Kassios,
Peter Müller,
2010
.
Alessandro Orso,
David Notkin,
Pietro Ferrara,
2011,
International Conference on Software Engineering.
Ioannis T. Kassios,
2006
.
Ioannis T. Kassios,
2006,
FM.
Peter Müller,
Alexander J. Summers,
Ioannis T. Kassios,
2013,
ECOOP.
Peter Müller,
Ioannis T. Kassios,
2011
.
Ioannis T. Kassios,
Eric C. R. Hehner,
E. Hehner,
2002,
ZB.
Alexander J. Summers,
Ioannis T. Kassios,
Uri Juhasz,
2014
.