Falk Howar

Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

2018 · ENGLISH · PDF

View details →