Hartmut Ehrig, editor, Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers. Volume 785 of Lecture Notes in Computer Science, Springer, 1994.
Conference: compass1994
@proceedings{compass:1992, title = {Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers}, year = {1994}, researchr = {https://researchr.org/publication/compass%3A1992}, cites = {0}, citedby = {0}, booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers}, conference = {compass}, editor = {Hartmut Ehrig}, volume = {785}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-57867-6}, }