Formal methods: foundations and applications. 25th Brazilian symposium, SBMF 2022, virtual event, December 6--9, 2022. Proceedings
From MaRDI portal
Publication:2106199
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
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)
