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

maintained by Schloss Dagstuhl LZI at University of Trier