Algebraic System Specification and Developement:Survey and Annotated Bibliography
Abstract
The present volume is an annotated bibliography which attempts to provide an overview of past and present work on algebraic specifications.
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Publications Loria : Connect in order to contact the contributor
https://inria.hal.science/inria-00098980
Submitted on : Tuesday, September 26, 2006-8:40:59 AM
Last modification on : Friday, March 24, 2023-2:52:48 PM