Formal Methods: Foundations and Applications - 9783030921361

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

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

Formal Methods Foundations and Applications 27th Brazilian Sympos

Margaria - Leveraging Applications of Formal Methods Verification and - X555z

Ram - Reliability Engineering Methods and Applications - paperback or - X555z

Formal Methods Foundations and Applications 20th Brazilian Sympos

Formal Methods Foundations and Applications 19th Brazilian Sympos