Franz Röck
发表
Kurt Dietrich,
Franz Röck,
Kurt Dietrich,
2010,
J. Univers. Comput. Sci..
Roderick Bloem,
Franz Röck,
Richard Schumi,
2015,
TAP@STAF.
Dejan Nickovic,
Ezio Bartocci,
Roderick Bloem,
2018,
CAV.
Jaan Raik,
Hans G. Kerkhoff,
Sergei Devadze,
2018
.
Roderick Bloem,
Ingo Pill,
Franz Röck,
2016,
2016 Formal Methods in Computer-Aided Design (FMCAD).
Yong Zhao,
Görschwin Fey,
Jaan Raik,
2016,
2016 Forum on Specification and Design Languages (FDL).
Erich Leitgeb,
Ioannis D. Moscholios,
Michael D. Logothetis,
2010,
2010 14th Panhellenic Conference on Informatics.
Görschwin Fey,
Roderick Bloem,
Heinz Riener,
2019,
Formal Methods Syst. Des..
Roderick Bloem,
Franz Röck,
Michael Tautschnig,
2014,
2014 14th International Conference on Quality Software.