Formal Aspects of Computing, Volume 25

Volume 25, Number 1, January 2013

Volume 25, Number 2, March 2013

Volume 25, Number 3, May 2013

Volume 25, Number 4, July 2013

Volume 25, Number 5, September 2013

Volume 25, Number 6, November 2013

maintained by Schloss Dagstuhl LZI at University of Trier