Formal Aspects of Computing

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages) This article may require cleanup to meet Wikipedia's quality standards. The specific problem is: See WP:JWG. Please help improve this article if you can. (July 2024) (Learn how and when to remove this message) This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Formal Aspects of Computing" – news · newspapers · books · scholar · JSTOR (July 2024) (Learn how and when to remove this message) (Learn how and when to remove this message)

Formal Aspects of Computing

Discipline	Computer science, formal methods
Language	English
Edited by	Jim Woodcock, Cliff Jones
Publication details
History	1989–present
Publisher	Association for Computing Machinery
Frequency	Quarterly
Impact factor	1.4 (2023)
Standard abbreviations ISO 4 (alt) · Bluebook (alt) NLM (alt) · MathSciNet (alt )
ISO 4	Form. Asp. Comput.
Indexing CODEN (alt · alt2) · JSTOR (alt) · LCCN (alt) MIAR · NLM (alt) · Scopus
ISSN	0934-5043 (print) 1433-299X (web)
OCLC no.	42939863
Links
Journal homepage

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.