Formal Methods: Foundations and Applications - 9783030921361

Formal Methods Foundations and Applications 24th Brazilian Sympos

Formal Methods Foundations and Applications 14th Brazilian Sympos

Formal Methods Foundations and Applications 21st Brazilian Sympos

Margaria - Leveraging Applications of Formal Methods Verification and - X555z

Barbosa - Formal Methods Foundations and Applications 26th Brazilia - X555z

Li - Formal Methods and Software Engineering 24th International Conf - X555z

Formal Methods Foundations and Applications 27th Brazilian Sympos