MPG.eBooks - Author Search Results

Cover Image

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 Confere...

Published 2021

Springer International Publishing

Other Authors: “...Willemse, Tim A. C....”

Cover Image

2

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

Published 2023

Springer Nature Switzerland

Other Authors: “...Willemse, Tim A. C....”