Science of Computer Programming, Volume 22

Volume 22, Numbers 1-2, April 1994

Special Issue on Mathematics of Program Construction

Volume 22, Number 3, June 1994

Selected Papers of ESOP 1992
a service of Schloss Dagstuhl - Leibniz Center for Informatics