Formal Methods: Foundations and Applications - 9783031493416

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

Margaria - Leveraging Applications of Formal Methods Verification and - X555z

Formal Methods: Foundations and Applications - 9783032120854

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

Campos - Formal Methods Foundations and Applications 24th Brazilian - X555z

Siraj Ahmed Shaikh - Formal Methods for Software Engineering Languag - X555z

Varela - Capoeira Mobility and Tourism Preserving an Afro-Brazilia - X555z