Erik de Vink

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

Formal MethodsKlaus Havelund

Formal Methods

Klaus Havelund · 2018