Willemse, Tim 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
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Programming and Software Engineering)
Larsen, Kim Guldstrand Willemse, Tim
Springer /2019-07-25 Paperback / 180 Pages
isbn-10: 3030270076 / isbn-13: 9783030270070
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
