An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II

Moshe Deutsch, Martin C. Henson. An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II. Logic Journal of the IGPL, 11(3):319-352, 2003. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.