Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Christopher Mark Brown, Kevin Hammond, Marco Danelutto, Peter Kilpatrick, Holger Schöner, Tino Breddin
Original language | English |
---|---|
Title of host publication | Proc. FMCO 2011: Software Technologies on Formal Methods for Components and Objects |
Publisher | Springer |
Number of pages | 12 |
State | Published - 2012 |
Discover related content
Find related publications, people, projects and more using interactive charts.
Research output: Contribution to journal › Special issue
Research output: Contribution to journal › Editorial
Research output: Contribution to journal › Article
Research output: Contribution to journal › Article
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
ID: 23410596