Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings

MLA

Carvalho, and Volker Stolz. Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, Sbmf 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings. Springer International Publishing, 2020.

APA

Carvalho, C., & Stolz, V. (2020). Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings. Springer International Publishing.

Chicago

Carvalho, and Volker Stolz. Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings. : Springer International Publishing, 2020.