Topic summary
Formal Aspects of Computing
Formal Aspects of Computing (FAC) is a peer-reviewed Gold Open Access journal published by Association for Computing Machinery (ACM) and the BCS (British Computer Society, the Chartered Institute for IT). The journal has been and is closely associated with the BCS-FACS Specialist Group on Formal Aspects of Computing Science and Formal Methods Europe.