Formal Methods: Foundations and Applications - 9783030638818

ANALYTICAL AND COMPUTER METHODS IN FOUNDATION ENGINEERING By Joseph E Bowles

Formal Methods Foundations and Applications 24th Brazilian Sympos

Formal Methods Foundations and Applications 26th Brazilian Sympos

Formal Methods Foundations and Applications 25th Brazilian Sympos

Formal Methods Foundations and Applications 27th Brazilian Sympos

Carvalho - Formal Methods Foundations and Applications 23rd Brazili - X555z

Formal Methods and Software Engineering 23rd International Confer