Formal Methods in System Design, Volume 41

Volume 41, Number 1, August 2012

Special issue on Computer Aided Verification (CAV '11)

Volume 41, Number 2, October 2012

Volume 41, Number 3, December 2012

Special isue on 'Runtime Verification'
a service of Schloss Dagstuhl - Leibniz Center for Informatics