TITLE     : Formal Methods -- The Next 30 Years -- Proceedings of the 23rd Symposium on Formal Methods in the form of the 3rd World Congress on Formal Methods (FM'19)
AUTHOR(S) : Ter Beek Mh, Mciver A, Oliveira Jn
TYPE      : Book
YEAR      : 2019
CODE      : 413191

*** DO NOT EDIT THIS FILE ***