Formal Methods for Industrial Critical Systems - 9783031681493

Formal Methods for Industrial Critical Systems 12th International

Thinking in Systems: International Bestseller by Donella Meadows Paperback UK it

Formal Techniques for Safety-Critical Systems 4th International W

Formal Methods for Dynamical Systems : 13th International School on Formal Me...

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems...

Formal Methods for Dynamical Systems : 13th International School on Formal Me...