| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 1989 | — | conf |
IWSSD
|
| 1985 | J | jnl |
Computer
|
| 1985 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 1980 | — | conf |
IFIP Congress
|
| 1978 | — | conf |
Program Construction
|
| 1978 | J | jnl |
Acta Informatica
|
| 1978 | — | conf |
ACM Annual Conference (1)
|
| 1977 | — | conf |
Formal Description of Programming Concepts
|
| 1977 | J | jnl |
Commun. ACM
|
| 1977 | — | conf |
Language Design for Reliable Software
|
| 1977 | J | jnl |
ACM SIGPLAN Notices
|
| 1976 | A* | conf |
ICSE
|
| 1976 | J | jnl |
IEEE Trans. Software Eng.
|
| 1976 | — | conf |
Design and Implementation of Programming Languages
|
| 1975 | — | conf |
Reliable Software
|
| 1975 | J | jnl |
IEEE Trans. Software Eng.
|
| 1975 | — | conf |
Reliable Software
|
| 1974 | J | jnl |
Acta Informatica
|
| 1974 | — | conf |
ACM Annual Conference (1)
|
| 1972 | — | conf |
Proving Assertions About Programs
|
| 1972 | — | conf |
ACM Annual Conference (1)
|
| 1971 | — | ch. |
Symposium on Semantics of Algorithmic Languages
|
| 1970 | J | jnl |
Commun. ACM
|
| 1970 | J | jnl |
J. ACM
|
| 1964 | — | conf |
ACM National Conference
|