Formal Aspects of Computing
| Discipline | Computer science, formal methods |
|---|---|
| Language | English |
| Edited by | Cliff Jones (1989−2007) Jim Woodcock (2007–2025) Einar Broch Johnsen & Maurice ter Beek (2025–present) |
| Publication details | |
| History | 1989–present |
| Publisher | Association for Computing Machinery (United States) |
| Frequency | Quarterly |
| Gold | |
| 1.4 (2024) | |
| Standard abbreviations | |
| ISO 4 | Form. Asp. Comput. |
| Indexing | |
| ISSN | 0934-5043 (print) 1433-299X (web) |
| OCLC no. | 42939863 |
| Links | |
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.