View of Combining Algebraic and Set-Theoretic Specifications (Extended Version)

Return to Article Details Combining Algebraic and Set-Theoretic Specifications (Extended Version) Download Download PDF