Software Engineering and Formal Methods - by Radu Calinescu [English]

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

Formal Aspects of Component Software: 19th International Conference, FACS 2023,

Formal Methods and Software Engineering : 19th International Conference on Fo...

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

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

Fundamental Approaches to Software Engineering: 19th International Conference, F