![]() |
| 2008 | ||
|---|---|---|
| 1 | EE | Uwe Proß, Erik Markert, Jan Langer, Andreas Richter, Chris Drechsler, Ulrich Heinkel: A Platform for Requirement Based Formal Specification. FDL 2008: 237-238 |
| 1 | Ulrich Heinkel | [1] |
| 2 | Jan Langer | [1] |
| 3 | Erik Markert | [1] |
| 4 | Uwe Proß | [1] |
| 5 | Andreas Richter | [1] |