an Entity in Data Space: 134.155.108.49:8890
Formal Aspects of Computing is a leading journal on formal methods. It is associated with the BCS-FACS Specialist Group.