Author

Falk Howar

2 books found

Cover of Tests and Proofs

Tests and Proofs

Marieke Huisman, Falk Howar · First published 2024

Cover of Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Falk Howar, Jiří Barnat · First published 2018