Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010

Bernhard Aichernig (Editor), Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor)

Research output: Book/ReportAnthologyResearch

Original languageEnglish
PublisherSpringer Verlag
ISBN (Print)978-3-642-25270-9
DOIs
Publication statusPublished - 2012

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Application
  • Experimental

Cite this

Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010. / Aichernig, Bernhard (Editor); de Boer, Frank S. (Editor); Bonsangue, Marcello M. (Editor).

Springer Verlag, 2012.

Research output: Book/ReportAnthologyResearch

Aichernig, Bernhard (Editor) ; de Boer, Frank S. (Editor) ; Bonsangue, Marcello M. (Editor). / Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010. Springer Verlag, 2012.
@book{308a2e5d1bb146bfa2ecbf253dbb8734,
title = "Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010",
editor = "Bernhard Aichernig and {de Boer}, {Frank S.} and Bonsangue, {Marcello M.}",
note = "Revised Papers",
year = "2012",
doi = "10.1007/978-3-642-25271-6",
language = "English",
isbn = "978-3-642-25270-9",
publisher = "Springer Verlag",
address = "Germany",

}

TY - BOOK

T1 - Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010

A2 - Aichernig, Bernhard

A2 - de Boer, Frank S.

A2 - Bonsangue, Marcello M.

N1 - Revised Papers

PY - 2012

Y1 - 2012

U2 - 10.1007/978-3-642-25271-6

DO - 10.1007/978-3-642-25271-6

M3 - Anthology

SN - 978-3-642-25270-9

BT - Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010

PB - Springer Verlag

ER -