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

Volume 30, Number 6, November 2018

EXTENDED VERSIONS OF PAPERS PRESENTED AT TAP 2016
maintained by Schloss Dagstuhl LZI at University of Trier