Development of Algebraic Specifications with Constraints

• Authors:

• Fernando Orejas;Vera Sacristan;Silvia Clerici

• Affiliations:

• -;-;-

• Venue:
• Workshop on Categorial Methods in Computer Science: With Aspects from Topology
• Year:
• 1988