Mathematical Aspects of Finite Element Methods: Proceedings of the Conference He

Formal Methods and Software Engineering: 23rd International Conference on Formal

Formal Methods for Industrial Critical Systems: 28th International Conference, F

Formal Methods and Software Engineering: 24th International Conference on Formal

Software Engineering and Formal Methods: 21st International Conference, SEFM 202

Formal Methods in Macro-Biology - 9783319103976

ComputerAided Industrial Process Design, the Aspen

Formal Methods for Industrial Critical Systems: 27th International Conference, F