Formal Methods in System Design, Volume 49

Volume 49, Numbers 1-2, October 2016

Special issue on Runtime Verification 2014

Volume 49, Number 3, December 2016

a service of Schloss Dagstuhl - Leibniz Center for Informatics