Formal Aspects of Computing

FAC @ SpringerLink

The Journal is related to the Formal Aspects of Computing Science Group of the British Computer Society.

maintained by Schloss Dagstuhl LZI at University of Trier