Searching for "Operation Refinement and Monotonicity in the Schema Calculus." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Operation Refinement and Monotonicity in the Schema Calculus
by Moshe Deutsch, Martin C. Henson, Steve Reeves — 2003
…Operation Refinement and Monotonicity in the Schema Calculus Moshe Deutsch 1 , Martin C. Henson…
Cited by 6 (4 self) – Add To MetaCart

Modular reasoning in Z: scrutinising monotonicity and refinement
by Moshe Deutsch, Martin C. Henson, Steve Reeves — 2004
…: Monotonicity; Operation Refinement; Schema Calculus; Specification Language; Specification Logic "We used…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 2.

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