Formal Aspects of Computing
| Discipline | Computer science, formal methods |
|---|---|
| Language | English |
| Edited by | Jim Woodcock, Cliff Jones |
| Publication details | |
| History | 1989–present |
| Publisher | |
| Frequency | Quarterly |
| 1.4 (2023) | |
| 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 BCS (the British Computer Society, the Chartered Institute for IT). The journal is closely associated with Formal Methods Europe.