Willemse, Tim A. C. books & textbook
Formal Techniques for Distributed Objects, Components, and Systems (Programming and Software Engineering)
Peters, Kirstin Willemse, Tim A. C.
Springer /2021-06-10 Paperback / 260 Pages
isbn-10: 3030780880 / isbn-13: 9783030780883
Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings (Lecture Notes in Computer Science)
Ferreira, Carla Willemse, Tim A. C.
Springer /2023-10-31 Paperback / 392 Pages
isbn-10: 3031471148 / isbn-13: 9783031471148