Formal Aspects of Computing
Academic journal / From Wikipedia, the free encyclopedia
Formal Aspects of Computing (FAOC) is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science. The editor-in-chief is Jim Woodcock. According to the Journal Citation Reports, the journal has a 2010 impact factor of 1.170.[1]
Quick Facts Discipline, Language ...
Discipline | Computer science, formal methods |
---|---|
Language | English |
Edited by | Jim Woodcock, Cliff Jones |
Publication details | |
History | 1989–present |
Publisher | |
Frequency | Quarterly |
1.170 (2010) | |
Standard abbreviations ISO 4 (alt) · Bluebook (alt1 · alt2) 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 | |
Close
Until 2021, the journal was published by Springer. It is now published by ACM.