Formal Aspects of Computing is a leading journal on formal methods. It is associated with the BCS-FACS Specialist Group.