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

J.M.T. Romijn (Editor), G. Smith (Editor), J.C. Pol, van de (Editor)

Research output: Book/ReportBook editingAcademic

Original languageEnglish
Place of PublicationBerlin
PublisherSpringer
Number of pages407
ISBN (Electronic)9783540322405
ISBN (Print)3-540-30492-4, 9783540304920
DOIs
Publication statusPublished - 2005

Publication series

NameLecture notes in computer science
Volume3771
ISSN (Print)0302-9743
NameIFM : integrated formal methods : international conference : proceedings
Volume5

Cite this

Romijn, J. M. T., Smith, G., & Pol, van de, J. C. (Eds.) (2005). Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. (Lecture notes in computer science; Vol. 3771), (IFM : integrated formal methods : international conference : proceedings; Vol. 5). Springer. https://doi.org/10.1007/11589976