| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2001 | Misc | conf |
Ada-Europe
|
| 1999 | — | — |
|
| 1998 | — | conf |
ZUM
|
| 1998 | — | conf |
FM-Trends
|
| 1998 | — | conf |
Tool Support for System Specification, Development and Verification
|
| 1997 | — | conf |
Implementation of Functional Languages
|
| 1993 | — | conf |
PROSPECTRA Book
|
| 1993 | — | conf |
PROSPECTRA Book
|
| 1993 | — | conf |
PROSPECTRA Book
|
| 1993 | — | conf |
PROSPECTRA Book
|
| 1993 | — | conf |
PROSPECTRA Book
|
| 1993 | — | conf |
PROSPECTRA Book
|
| 1991 | — | conf |
VDM Europe (2)
|
| 1991 | — | conf |
AMAST
|