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