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

Formal Methods: Foundations and Applications - 9783031493416

ANALYTICAL AND COMPUTER METHODS IN FOUNDATION ENGINEERING By Joseph E Bowles

Formal Methods Foundations and Applications 25th Brazilian Sympos

Formal Methods Foundations and Applications 18th Brazilian Sympos

Formal Methods Foundations and Applications 24th Brazilian Sympos

Formal Methods Foundations and Applications 27th Brazilian Sympos

Formal Methods Foundations and Applications 20th Brazilian Sympos