Formal Methods in System Design, Volume 7

Volume 7, Number 1/2, August 1995

Volume 7, Number 3, November 1995

a service of Schloss Dagstuhl - Leibniz Center for Informatics