Formal methods: foundations and applications. 23rd Brazilian symposium, SBMF 2020, Ouro Preto, Brazil, November 25--27, 2020. Proceedings

DOI10.1007/978-3-030-63882-5zbMATH Open1464.68006OpenAlexW4251735074MaRDI QIDQ2028510

Author name not available (Why is that?)

Publication date: 1 June 2021

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-63882-5

Mathematics Subject Classification ID

No records found.

This page was built for publication: Formal methods: foundations and applications. 23rd Brazilian symposium, SBMF 2020, Ouro Preto, Brazil, November 25--27, 2020. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2028510)