Searching for "Combining Algebraic and Set-Theoretic Specifications." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Combining Algebraic and Set-Theoretic Specifications
by H El Ene Kirchner, Hélène Kirchner, Claus Hintermeier, Claus Hintermeier, F- Vandoeuvre-l`es-nancy Cedex, Peter D. Mosses, Peter D. Mosses — 1996 — Recent Trends in Data Type Specification", Proc. 11th Workshop on Specification of Abstract Data Types joint with the 9th general COMPASS workshop
…BRICS Basic Research in Computer Science Combining Algebraic and Set-Theoretic Specifications…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB