Explore relationships

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).

Use + to expand a branch. Click a topic name to open its summary.