Formal Methods: Foundations and Applications

MLA

Sidney C. Nogueira, and Ciprian Teodorov. Formal Methods: Foundations and Applications. Springer Nature Switzerland, 2025.

APA

Sidney C. Nogueira, S. C. Nogueira, & Teodorov, C. (2025). Formal Methods: Foundations and Applications. Springer Nature Switzerland.

Chicago

Sidney C. Nogueira, and Ciprian Teodorov. Formal Methods: Foundations and Applications. : Springer Nature Switzerland, 2025.