| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 1997 | — | conf |
S&P
|
| 1995 | J | jnl |
IEEE Trans. Software Eng.
|
| 1994 | — | conf |
SIGSOFT FSE
|
| 1991 | J | jnl |
IEEE Trans. Software Eng.
|
| 1991 | — | ed. |
SIGSOFT
|
| 1990 | J | jnl |
IEEE Trans. Software Eng.
|
| 1990 | — | ed. |
Formal Methods in Software Development
|
| 1989 | — | conf |
Symposium on Testing, Analysis, and Verification
|
| 1987 | J | jnl |
Computer
|
| 1986 | — | conf |
Advanced Programming Environments
|
| 1986 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1985 | — | conf |
SLIPE
|
| 1985 | J | jnl |
Computer
|
| 1981 | A* | conf |
ICALP
|
| 1979 | J | jnl |
IEEE Trans. Software Eng.
|
| 1979 | — | conf |
The Use of Formal Specification of Software
|