Searching for "A Tool for Writing and Debugging Algebraic 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.

A Tool for Writing and Debugging Algebraic Specifications
by J. Henkel, A. Diwan — 2004 — Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), IEEE Computer Society Press
…A Tool for Writing and Debugging Algebraic Specifications Abstract Despite their benefits…
Cited by 11 (1 self) – Add To MetaCart

Showing 1 through 1.

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