Formal methods: foundations and applications. 18th Brazilian symposium, SBMF 2015, Belo Horizonte, Brazil, September 21--22, 2015. Proceedings

DOI10.1007/978-3-319-29473-5zbMATH Open1330.68020OpenAlexW2490572559MaRDI QIDQ907242

Author name not available (Why is that?)

Publication date: 25 January 2016

Published in: (Search for Journal in Brave)

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

Mathematics Subject Classification ID

No records found.

This page was built for publication: Formal methods: foundations and applications. 18th Brazilian symposium, SBMF 2015, Belo Horizonte, Brazil, September 21--22, 2015. Proceedings

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