| |
| 2006 | ||
|---|---|---|
| 2 | EE | Bernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jörges, Christian Kubczak: Model-Driven Development with the jABC. Haifa Verification Conference 2006: 92-108 |
| 1 | EE | Sven Jörges, Tiziana Margaria, Bernhard Steffen: FormulaBuilder: a tool for graph-based modelling and generation of formulae. ICSE 2006: 815-818 |
| 1 | Christian Kubczak | [2] |
| 2 | Tiziana Margaria (Tiziana Margaria-Steffen) | [1] [2] |
| 3 | Ralf Nagel | [2] |
| 4 | Bernhard Steffen | [1] [2] |