• Introduction to Algebraic Spec...

Treffer: Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development.

Title:
Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development.
Authors:
Ehrig, H., Mahr, B., Classen, I., Orejas, F.
Source:
Computer Journal; 1992, Vol. 35 Issue 5, p460-467, 8p
Database:
Complementary Index