E-LIB Suche - Ergebnisse für: Lathouwers, Sophie

1

Lathouwers, Sophie ; Huisman, Marieke
Journal of Systems and Software. 211 (2024) - p. 111972 , 2024

2

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

3

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems,

Lathouwers, Sophie ; Zaytsev, Vadim - p. 98-108 , 2022

4

, In: 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE),

Lathouwers, Sophie ; Huisman, Marieke - p. 69-79 , 2022

5

, In: Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering,

Lathouwers, Sophie ; Huisman, Marieke - p. 69-79 , 2022

6

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

7

Bob Rubbens (9655838) ; Marieke Huisman (9126478) ; Sophie Lathouwers (10083865)
https://figshare.com/articles/dataset/Data_accompanied_to_the_paper_Modular_Transformation_of_Java_Exceptions_Modulo_Errors/14905251. , 2021

8

Kate Gibson ; Lauren Chong ; Tim Jacobs...
https://doaj.org/toc/2051-1426. , 2023