Tim Willemse

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

Formal Methods for Industrial Critical SystemsKim Guldstrand Larsen

Formal Methods for Industrial Critical Systems

Kim Guldstrand Larsen · 2019