Program Development by Transforamtion and Refinement

Stefan Jähnichen, Fatima Ali Hussain, Matthias Weber. Program Development by Transforamtion and Refinement. In Reidar Conradi, Tor Didriksen, Dag H. Wanvik, editors, Advanced Programming Environments, Proceedings of an International Workshop, Trondheim, Norway, June 16-18, 1986. Volume 244 of Lecture Notes in Computer Science, pages 471-486, Springer, 1986.

Abstract

Abstract is missing.