langue originale | Anglais |
---|---|
titre | Recent Trends in Data Type Specification |
Sous-titre | Proceedings of the 5th Workshop on Abstract Data Types (WADT) |
rédacteurs en chef | Ferno Orejas |
Volume | 785 |
Etat de la publication | Publié - 1992 |
Higher-order proof rules for algebraic specifications
Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Chapitre