![]() | ![]() |
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 |