![]() | This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)
|
![]() | |
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.