by Estevez, Elsa Clara and Fillottrani, Pablo Rubén
Reference:
Algebraic specifications and refinement for component-based development using raise (Estevez, Elsa Clara and Fillottrani, Pablo Rubén), In Journal of Computer Science & Technology, volume 2, 2002.
Bibtex Entry:
@article{estevez2002algebraic,
title={Algebraic specifications and refinement for component-based development using raise},
author={Estevez, Elsa Clara and Fillottrani, Pablo Rub{'e}n},
journal={Journal of Computer Science & Technology},
volume={2},
year={2002}
}
