Retrospective and Prospective for Unifying Theories of Programming

Eric C. R. Hehner. Retrospective and Prospective for Unifying Theories of Programming. 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 1-17, Springer, 2006. [doi]

Authors

Eric C. R. Hehner

This author has not been identified. Look up 'Eric C. R. Hehner' in Google