Formal Aspects of Computing

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