Integrated formal methods. 12th international conference, IFM 2016, Reykjavik, Iceland, June 1--5, 2016. Proceedings

DOI10.1007/978-3-319-33693-0zbMATH Open1337.68002OpenAlexW4300950982MaRDI QIDQ288098

Author name not available (Why is that?)

Publication date: 24 May 2016

Published in: (Search for Journal in Brave)

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

Mathematics Subject Classification ID

No records found.

This page was built for publication: Integrated formal methods. 12th international conference, IFM 2016, Reykjavik, Iceland, June 1--5, 2016. Proceedings

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