Jordi Farrés-Casals

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

	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

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page