in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 906, Pages: 273-289
Conference
10Th Workshop on Specification of Abstract Data Types Was Held Joint with the 5Th Compass Workshop, 1994, Date: 30 May 1994 through 3 June 1994
