A Relational Investigation of UTP Designs and Prescriptions

Moshe Deutsch, Martin C. Henson. A Relational Investigation of UTP Designs and Prescriptions. In Steve Dunne, Bill Stoddart, editors, Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers. Volume 4010 of Lecture Notes in Computer Science, pages 101-122, Springer, 2006. [doi]

Authors

Moshe Deutsch

This author has not been identified. Look up 'Moshe Deutsch' in Google

Martin C. Henson

This author has not been identified. It may be one of the following persons: Look up 'Martin C. Henson' in Google