Program Transformation and Proof Transformation

Wilfried Sieg, Stanley S. Wainer. Program Transformation and Proof Transformation. In Egon Börger, Yuri Gurevich, Karl Meinke, editors, Computer Science Logic, 7th Workshop, CSL 93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers. Volume 832 of Lecture Notes in Computer Science, pages 305-317, Springer, 1993.

Authors

Wilfried Sieg

This author has not been identified. Look up 'Wilfried Sieg' in Google

Stanley S. Wainer

This author has not been identified. Look up 'Stanley S. Wainer' in Google