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