by Estevez, Elsa Clara and Fillottrani, Pablo Rubén
Reference:
Formal specifications in component-based development (Estevez, Elsa Clara and Fillottrani, Pablo Rubén), In IV Workshop de Investigadores en Ciencias de la Computación, 2002.
Bibtex Entry:
@inproceedings{estevez2002formal,
title={Formal specifications in component-based development},
author={Estevez, Elsa Clara and Fillottrani, Pablo Rub{'e}n},
booktitle={IV Workshop de Investigadores en Ciencias de la Computaci{'o}n},
year={2002}
}
