TOWARD A GENERAL-THEORY OF COMPUTATION AND SPECIFICATION OVER ABSTRACT-DATA-TYPES
Conferences
- Overview
- Research
- Identity
- Additional Document Info
- View All
Overview
status
publication date
- January 1, 1990