Algebraic System Specification and Developement:Survey and Annotated Bibliography
Résumé
The present volume is an annotated bibliography which attempts to provide an overview of past and present work on algebraic specifications.
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00098980
Soumis le : mardi 26 septembre 2006-08:40:59
Dernière modification le : vendredi 24 mars 2023-14:52:48