Integrated formal methods. 8th international conference, IFM 2010, Nancy, France, October 11--14, 2010. Proceedings
From MaRDI portal
Publication:1958488
DOI10.1007/978-3-642-16265-7zbMATH Open1198.68050OpenAlexW297893665MaRDI QIDQ1958488FDOQ1958488
Authors:
Publication date: 1 October 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-16265-7
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. 4th international conference, IFM 2004, Canterbury, UK, April 4--7, 2004. Proceedings.
- Special issue: Integrated formal methods (iFM09). Selected papers based on the presentations at the 7th international conference, Düsseldorf, Germany, February 16--19, 2009.
- FM 2012: Formal methods. 18th international symposium, Paris, France, August 27--31, 2012. Proceedings
- Integrated formal methods. 16th international conference, IFM 2020, Lugano, Switzerland, November 16--20, 2020. Proceedings
This page was built for publication: Integrated formal methods. 8th international conference, IFM 2010, Nancy, France, October 11--14, 2010. Proceedings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1958488)
