| |
| 1990 | ||
|---|---|---|
| 3 | Jordi Farrés-Casals: Proving Correctness wrt Specifications with Hidden Parts. ALP 1990: 25-39 | |
| 1989 | ||
| 2 | Jordi Farrés-Casals: Proving Correctness of Constructor Implementations. MFCS 1989: 225-235 | |
| 1988 | ||
| 1 | Jordi Farrés-Casals: Proving Constructor Implementations in Two Steps. ADT 1988 | |