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
a service of Schloss Dagstuhl - Leibniz Center for Informatics