ALGRES Prototype of Reusable Software Modules based on Algebraic Specifications.

Hanna Oktaba, Concepcin Prez de Clis, Roberto V. Zicari

Browse the full DEXA paper archive.