| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 1998 | — | conf |
FM-Trends
|
| 1998 | — | conf |
FMSP
|
| 1998 | J | jnl |
Formal Aspects Comput.
|
| 1998 | — | ch. |
Proof in VDM
|
| 1998 | — | ch. |
Proof in VDM
|
| 1998 | — | conf |
FM-Trends
|
| 1997 | — | conf |
TPHOLs
|
| 1997 | — | conf |
FME
|
| 1996 | — | conf |
TPHOLs
|
| 1996 | — | conf |
TPHOLs
|
| 1995 | — | conf |
TPHOLs
|
| 1995 | J | jnl |
Comput. J.
|
| 1995 | — | conf |
TPHOLs
|
| 1994 | — | conf |
TPHOLs
|
| 1993 | — | conf |
HUG
|
| 1991 | — | conf |
TPHOLs
|