Formal Methods. FM 2019 International Workshops - 9783030549961

Formal Methods : The Next 30 Years; Third World Congress, Fm 2019, Porto, Por...

Web Services and Formal Methods: Third International Workshop, Ws-FM 2006,: New

Web Services and Formal Methods: 4th International Workshop, Ws-FM 2007,: New

Web Services and Formal Methods : 9th International Workshop, Ws-fm 2012, Tal...

Formal Methods Teaching - 9783030915490

Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Softw