Formal Methods in System Design, Volume 53

Volume 53, Number 1, August 2018

Special Issue on Runtime Verification 2016
maintained by Schloss Dagstuhl LZI at University of Trier