Algebraic Specification

method ID: algebraicspecification

Outgoing Relationships

Relationship Target Entity Type Actions
defines Abstract Data Types otherentity View