Formal methods: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006 Bonn, Germany, August 26-27 and August 31, 2006 : revised selected papers

L. Brim (Editor), B.R.H.M. Haverkort (Editor), M. Leucker (Editor), J.C. Pol, van de (Editor)

Research output: Book/ReportBook editingAcademic

Original languageEnglish
Place of PublicationBerlin
PublisherSpringer
Number of pages363
ISBN (Electronic)9783540709527
ISBN (Print)978-3-540-70951-0
DOIs
Publication statusPublished - 2007

Publication series

NameLecture notes in computer science
Volume4346
ISSN (Print)0302-9743

Cite this