MPG.eBooks - Author Search Results

Cover Image

1

Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings

Published 2021

Springer International Publishing

Other Authors: “...Mavridou, Anastasia...”

Cover Image

2

NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

Published 2020

Springer International Publishing

Other Authors: “...Mavridou, Anastasia...”