.gif)
Algebraic Specifications with Subsorts Using Declarations
| Title | Algebraic Specifications with Subsorts Using Declarations |
| Publication Type | Magazine Article |
| Year of Publication | 1983 |
| Authors | Gogolla, M., and H. - D. Ehrich |
| Magazine | EATCS Bulletin |
| Volume | 21 |
| Pagination | 31-38 |
| Abstract | no |
| Public | no |
| Attachment | Size |
|---|---|
| 1983EATCSBull.pdf | 93.61 KB |