bib.howest.be Zoekresultaten

U zocht naar: Auteur Willemse, Tim A. C. Type e-book

1 - 2 van 2

1. Formal Techniques for Distributed Objects, Components, and Systems : 41st IFIP WG 6. 1 International Conference, FORTE 2021, Held As Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta,

Auteur:: Peters, Kirstin; Willemse, Tim A. C.
Uitgever:: Springer International Publishing 2021
Type:: e-book

2. Software Engineering and Formal Methods : 21st International Conference, SEFM 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings

Auteur:: Ferreira, Carla.; Willemse, Tim A. C.
Uitgever:: Cham Springer International Publishing AG 2023
Type:: e-book