Tag Algebraic Specifications
Tagged Works
- Fundamentals of Algebraic Specification 1: Equations and Initial Semantics by Hartmut Ehrig
- Algebraic Specifications in Software Engineering: An Introduction by Ivo Van Horebeek
- Larch: Languages and Tools for Formal Specification by John Guttag
- Algebraic Semantics of Imperative Programs by Joseph A. Goguen
Using the Tag
pgourdin (4)Related Series
Aliases and Translations
Includes: Algebraic Specifications, algebraic specifications




