Record Beta
Workshop on Algebraic Development Techniques (WADT) / Specification of Abstract Data Type Workshops (ADT)
https://id.confref.org/data/confref-portal/event/adt1995
This record is part of the confref event Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers.
| rdf:type | portal:Conference |
|---|---|
| schema:location | Oslo (wd:Q585) |
| rdfs:label | Workshop on Algebraic Development Techniques (WADT) / Specification of Abstract Data Type Workshops (ADT) |
| portal:acronym | ADT |
| portal:area | https://id.confref.org/data/confref-portal/area/2 |
| portal:city | Oslo |
| portal:country | Norway |
| portal:endDate | 1995-09-23 |
| portal:name | Workshop on Algebraic Development Techniques (WADT) / Specification of Abstract Data Type Workshops (ADT) |
| portal:portalPage | http://portal.confref.org/list/adt1995 |
| portal:series | https://id.confref.org/data/confref-portal/series/adt |
| portal:startDate | 1995-09-19 |
| portal:submissionExtended | false |
| portal:year | 1995 |
| cr:discipline | computer science (wd:Q21198) |
| cr:field | Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2) |
| cr:sameAs | https://dblp.org/db/conf/compass/compass95 |
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.