Formal Methods: Foundations and Applications - 9783030921361

ANALYTICAL AND COMPUTER METHODS IN FOUNDATION ENGINEERING By Joseph E Bowles

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

Formal Methods Foundations and Applications 26th Brazilian Sympos

Formal Methods Foundations and Applications 25th Brazilian Sympos

Formal Methods Foundations and Applications 20th Brazilian Sympos

Formal Methods Foundations and Applications 18th Brazilian Sympos

Formal Methods and Software Engineering: 24th International... - Li, Yi