bib.howest.be Search Results

You searched for: Auteur Willemse, Tim A. C.

1 - 2 of 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,

Author:: Peters, Kirstin; Willemse, Tim A. C.
Publisher:: Springer International Publishing 2021
Format:: e-book

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

Author:: Ferreira, Carla.; Willemse, Tim A. C.
Publisher:: Cham Springer International Publishing AG 2023
Format:: e-book