Recent trends in data type specification: 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 proceedings/
| Corporate Authors: | , |
|---|---|
| Other Authors: | , , |
| Format: | Book |
| Language: | English |
| Published: |
Berlin New York:
Springer-Verlag,
1995
|
| Series: | Lecture notes in computer science
906 |
| Subjects: |