Searching for "Refinement Calculus, Part I Sequential Nondeterministic Programs." – 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.

Refinement Calculus, Part I: Sequential Nondeterministic Programs
by R. J. R. Back, J. von Wright, J. Wright — 1989 — Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Proceedings. 1989, volume 430 of Lecture Notes in Computer Science
…Refinement Calculus, Part I: Sequential Nondeterministic Programs R.J.R. Back J. von Wright…
Cited by 54 (3 self) – Add To MetaCart

Showing 1 through 1.

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