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érenceChapitre

langue originaleAnglais
titreRecent Trends in Data Type Specification
Sous-titreProceedings of the 5th Workshop on Abstract Data Types (WADT)
rédacteurs en chefFerno Orejas
Volume785
Etat de la publicationPublié - 1992

Contient cette citation