Ilina Stoilkovska
发表
I. Konnov,
Josef Widder,
Marijana Lazi'c,
2020,
ArXiv.
I. Konnov,
Florian Zuleger,
Josef Widder,
2021,
International Journal on Software Tools for Technology Transfer.
I. Konnov,
Josef Widder,
Marijana Lazi'c,
2020,
ArXiv.
I. Konnov,
Josef Widder,
Marijana Lazi'c,
2020,
Log. Methods Comput. Sci..
Igor Konnov,
Josef Widder,
Ilina Stoilkovska,
2020,
FORTE.
Benjamin Aminof,
Sasha Rubin,
Florian Zuleger,
2018,
VMCAI.
Verfassung der Arbeit,
R. Pichler,
V. Savenkov,
2014
.
Florian Zuleger,
Igor Konnov,
Josef Widder,
2021,
VMCAI.
Igor Konnov,
Josef Widder,
Sean Braithwaite,
2020,
FMBC@CAV.
Igor Konnov,
Josef Widder,
Sean Braithwaite,
2020,
ISoLA.
Florian Zuleger,
Igor Konnov,
Josef Widder,
2019,
International Journal on Software Tools for Technology Transfer.