Formal Methods: Foundations and Applications - 9783642250316

Iyoda - Formal Methods Foundations and Applications 16th Brazilian - X555z

Braga - Formal Methods Foundations and Applications 17th Brazilian - X555z

Furia - Integrated Formal Methods 14th International Conference IFM - X555z

Davies - Formal Methods Foundations and Applications 13th Brazilian - X555z

Formal Methods: Foundations and Applications - 9783031224751

Pierantonio - Modelling Foundations and Applications 14th European C - X555z

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 202