Formal methods: foundations and applications. 25th Brazilian symposium, SBMF 2022, virtual event, December 6--9, 2022. Proceedings

DOI10.1007/978-3-031-22476-8OpenAlexW4312979202MaRDI QIDQ2106199

Author name not available (Why is that?)

Publication date: 9 December 2022

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-22476-8

Mathematics Subject Classification ID

No records found.

This page was built for publication: Formal methods: foundations and applications. 25th Brazilian symposium, SBMF 2022, virtual event, December 6--9, 2022. Proceedings

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