Institutions for very abstract specifications

• Authors:

• M. Cerioli;G. Reggio

• Affiliations:

• -;-

• Venue:
• Selected papers from 9th workshop on Specification of abstract data types : recent trends in data type specification: recent trends in data type specification
• Year:
• 1994