Mechanizing a theory of program composition for UNITY

Lawrence C. Paulson. Mechanizing a theory of program composition for UNITY. ACM Transactions on Programming Languages and Systems, 23(5):626-656, 2001. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.