Dejan Nickovic — Books & Biography | Menrva Books | MenrvaBooks

Dejan Nickovic

Is this your author profile? Create an account to customize it!

Stand Alone

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.