Jan Peleska

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

Formal MethodsKlaus Havelund

Formal Methods

Klaus Havelund · 2018