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