Formal Methods and Software Engineering - 9783030634056

Formal Methods and Software Engineering : 22nd International Conference on Fo...

Software Engineering and Formal Methods: 22nd International Conference, SEFM 202

Hierons - Software Engineering and Formal Methods 11th International - X555z

Lin - Information Security 22nd International Conference ISC 2019 - X555z

Alagar - Formal Methods in Databases and Software Engineering Procee - X555z

Merz - Formal Methods and Software Engineering 16th International Co - X555z