| |
| 1999 | ||
|---|---|---|
| 1 | EE | Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer: The UniForM Workbench, a Universal Development Environment for Formal Methods. World Congress on Formal Methods 1999: 1186-1205 |
| 1 | Bernd Krieg-Brückner | [1] |
| 2 | Ernst-Rüdiger Olderog | [1] |
| 3 | Jan Peleska | [1] |