Integrated formal methods. 12th international conference, IFM 2016, Reykjavik, Iceland, June 1--5, 2016. Proceedings
DOI10.1007/978-3-319-33693-0zbMATH Open1337.68002OpenAlexW4300950982MaRDI QIDQ288098FDOQ288098
Author name not available (Why is that?)
Publication date: 24 May 2016
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-33693-0
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of software (68Nxx)
Cited In (4)
- Integrated formal methods. 9th international conference, IFM 2012, Pisa, Italy, June 18--21, 2012. Proceedings
- Integrated formal methods. 16th international conference, IFM 2020, Lugano, Switzerland, November 16--20, 2020. Proceedings
- Integrated formal methods. 3rd international conference, IFM 2002, Turku, Finland, May 15--18, 2002. Proceedings
- Integrated formal methods. 13th international conference, IFM 2017, Turin, Italy, September 20--22, 2017. Proceedings
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)
