ACT ONE

Search:

ACT ONE

A specification language.

["An Algebraic Specification Language with Two Levels of Semantics", H. Ehrig et al, Tech U Berlin 83-1983-02-03].

(1994-11-08)