Formal Methods in System Design, Volume 52

Volume 52, Number 1, February 2018

Volume 52, Number 2, April 2018

Volume 52, Number 3, June 2018

Special issue on Program Equivalence
maintained by Schloss Dagstuhl LZI, founded at University of Trier