| 2001 | ||
|---|---|---|
| 2 | Bernhard K. Aichernig, Brigitte Fröhlich, Andreas Kerschbaumer: Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas. J. UCS 7(8): 629-630 (2001) | |
| 1996 | ||
| 1 | Brigitte Fröhlich, Peter Gorm Larsen: Combining VDM-SL Specifications with C++ Code. FME 1996: 179-194 | |
| 1 | Bernhard K. Aichernig | [2] |
| 2 | Andreas Kerschbaumer | [2] |
| 3 | Peter Gorm Larsen | [1] |