International Symposium/Conference WILDLIFE MANAGMENT SUB-SAHARAN AFRICA 1987

Formal Methods for Components and Objects: 5th International Symposium, FMCO 200

Rozier - NASA Formal Methods 15th International Symposium NFM 2023 - X555z

Margaria - Leveraging Applications of Formal Methods Verification and - X555z

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

Formal Methods for Components and Objects: Second International Symposium, FMCO

Akerkar - AI Data and Digitalization First International Symposium - X555z

Ancient Macedonia Papers read at the first International Symposium held in Thess