On the refinement calculus
Author(s)
Bibliographic Information
On the refinement calculus
(Formal approaches to computing and information technology (FACIT))
Springer-Verlag, 1994
- : us
- : gw
Available at / 14 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references