Tomas Kulik
发表
Tomas Kulik,
Peter Würtz Vinther Tran-Jørgensen,
Jalil Boudjadar,
2018,
2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Diego F. Aranha,
Tomas Kulik,
Jalil Boudjadar,
2020,
FormaliSE@ICSE.
Tomas Kulik,
Peter Würtz Vinther Tran-Jørgensen,
Jalil Boudjadar,
2018,
SecITC.
Peter W. V. Tran-Jørgensen,
Tomas Kulik,
Jalil Boudjadar,
2020,
2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE).
Tomas Kulik,
Peter Würtz Vinther Tran-Jørgensen,
Jalil Boudjadar,
2019,
2019 Global IoT Summit (GIoTS).
Peter Gorm Larsen,
Tomas Kulik,
Peter Würtz Vinther Tran-Jørgensen,
2019,
MEMOCODE.
Diego F. Aranha,
Tomas Kulik,
Jalil Boudjadar,
2021,
2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE).
Jim Woodcock,
Hugo Daniel Macedo,
Peter Gorm Larsen,
2021,
Formal Aspects Comput..