Formal Aspects of Computing, Volume 28

Volume 28, Number 1, March 2016

Volume 28, Number 2, April 2016

Extended versions of papers presented at SEFM 14 (pp. 179-323)

Volume 28, Number 3, May 2016

Volume 28, Number 4, July 2016

Extended versions of papers presented at WS-FM 2014 and Beat 2014

Volume 28, Number 5, September 2016

Papers on Formal Engineering Methods including Extended Versions of papers presented at ICFEM 2014 (Part 2)

Volume 28, Number 6, November 2016

Individual Contributions
a service of Schloss Dagstuhl - Leibniz Center for Informatics