Sebastian Krings
发表
Sebastian Krings,
Joshua Schmidt,
P. Skowronek,
2019
.
Sebastian Krings,
Philipp Körner,
Joshua Schmidt,
2019,
SEUH.
Sebastian Krings,
Joshua Schmidt,
Philipp Körner,
2019
.
Sebastian Krings,
2022,
ITiCSE.
Michael Leuschel,
Sebastian Krings,
M. Leuschel,
2017,
Software & Systems Modeling.
Jannik Dunkelau,
Sebastian Krings,
Joshua Schmidt,
2019,
NFM.
Michael Leuschel,
Sebastian Krings,
Joshua Schmidt,
2018,
IFM.
Michael Leuschel,
Sebastian Krings,
M. Leuschel,
2017,
WLP / WFLP.
Sebastian Krings,
Sebastian Krings,
2017
.
Michael Leuschel,
Sebastian Krings,
M. Leuschel,
2017,
Sci. Comput. Program..
Michael Leuschel,
Sebastian Krings,
Joshua Schmidt,
2016,
ABZ.
Michael J. Butler,
Michael Leuschel,
Thierry Lecomte,
2020,
FMICS.
M. Leuschel,
Sebastian Krings,
Philipp Körner,
2020,
International Journal on Software Tools for Technology Transfer.
Michael Leuschel,
Jens Bendisposto,
Philipp Körner,
2020,
Formal Methods in System Design.
Michael Leuschel,
Jens Bendisposto,
Jannik Dunkelau,
2019,
FM.
Sebastian Krings,
Philipp Körner,
Sebastian Krings,
2021,
FMTea.
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper
pdf
Faron Moller,
Magne Haveraaen,
Antonio Cerone,
2020,
FMFun.