Tim A. C. Willemse

Tim A. C. Willemse

Books

Co-authored books and collections

Books that list Tim A. C. Willemse among their authors but not as the lead author: co-written works, collections and compilations.

Software Engineering and Formal MethodsCarla Ferreira

Software Engineering and Formal Methods

Carla Ferreira · 2023

Formal Techniques for Distributed Objects, Components, and SystemsKirstin Peters

Formal Techniques for Distributed Objects, Components, and Systems

Kirstin Peters · 2021