Reading Length
Home
Speed Tests
Login
Falk Howar
Identifiers
Open Library
OL7831472A
Books by Falk Howar
Total count: 2
Formal Methods for Industrial Critical Systems
23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Springer
2018-08-30
Tests and Proofs
18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
Springer
2024-01-01
