Formal Aspects of Computing, Volume 24

Volume 24, Number 1, January 2012

Volume 24, Number 2, March 2012

Volume 24, Number 3, May 2012

Volume 24, Numbers 4-6, July 2012

Celebrating the 60th Birthday of Carroll Morgan
maintained by Schloss Dagstuhl LZI, founded at University of Trier