Algebraic specifications and refinement for component-based development using raise

Posted on 21/07/2024 by

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},
}

Posted in