Integrated formal methods. 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 -- December 2, 2005. Proceedings

DOI10.1007/11589976zbMATH Open1122.68011OpenAlexW4297978579MaRDI QIDQ2461163

Author name not available (Why is that?)

Publication date: 26 November 2007

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11589976

Mathematics Subject Classification ID

No records found.

This page was built for publication: Integrated formal methods. 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 -- December 2, 2005. Proceedings

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