Formal Aspects of Computing, Volume 30

Volume 30, Number 1, January 2018

Extended versions of papers presented at FASE'16

Volume 30, Number 2, March 2018

Volume 30, Numbers 3-4, August 2018

Volume 30, Number 5, September 2018

EXTENDED VERSIONS OF PAPERS PRESENTED AT FM 2015
maintained by Schloss Dagstuhl LZI at University of Trier