| |
| 1989 | ||
|---|---|---|
| 2 | A. Bijlsma, P. A. Matthews, J. G. Wiltink: A Sharp Proof Rule for Procedures in wp Semantics. Acta Inf. 26(5): 409-419 (1989) | |
| 1986 | ||
| 1 | A. Bijlsma, J. G. Wiltink, P. A. Matthews: Equivalence of the Gries and Martin Proof Rules for Procedure Calls. Acta Inf. 23(4): 357-360 (1986) | |
| 1 | A. Bijlsma | [1] [2] |
| 2 | J. G. Wiltink | [1] [2] |