Formal Aspects of Computing

FAC @ SpringerLink

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