Falk Howar · 2 obras en el catálogoObrasFormal Methods for Industrial Critical SystemsTTests and ProofsTests and Proofs