Formal methods: foundations and applications. 18th Brazilian symposium, SBMF 2015, Belo Horizonte, Brazil, September 21--22, 2015. Proceedings
From MaRDI portal
Publication:907242
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
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)
