Algebraic Specification
method
ID: algebraicspecification
Outgoing Relationships
| Relationship | Target Entity | Type | Actions |
|---|---|---|---|
| defines | Abstract Data Types | otherentity | View |
| Relationship | Target Entity | Type | Actions |
|---|---|---|---|
| defines | Abstract Data Types | otherentity | View |