Skip to Main content Skip to Navigation
Books

Algebraic System Specification and Developement:Survey and Annotated Bibliography

Maura Cerioli Martin Gogolla Hélène Kirchner 1 Bernd Krieg-Brückner Zhenyu Qian Markus Wolf
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : The present volume is an annotated bibliography which attempts to provide an overview of past and present work on algebraic specifications.
Mots-clés : spécifications algébriques algebraic specifications
Document type :
Books
Complete list of metadata
https://hal.inria.fr/inria-00098980
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 8:40:59 AM
Last modification on : Friday, February 26, 2021 - 3:28:06 PM

Identifiers

  • HAL Id : inria-00098980, version 1

Collections

INRIA | CNRS | LORIA | UNIV-LORRAINE

Citation

Maura Cerioli, Martin Gogolla, Hélène Kirchner, Bernd Krieg-Brückner, Zhenyu Qian, et al.. Algebraic System Specification and Developement:Survey and Annotated Bibliography. Shaker Verlag, 230 p, 1999, Monographs of the Bremen Institute of Safe Systems. ⟨inria-00098980⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

110

 

Contact                    Legal Notice                    Personal Data