Formal Aspects of Computing
Jump to navigation
Jump to search
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 | Form. Asp. Comput. |
Indexing | |
ISSN | 0934-5043 (print) 1433-299X (web) |
OCLC no. | 42939863 |
Links | |
Formal Aspects of Computing (FAC) 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 2022 impact factor of 1.0.[1]
Until 2021, the journal was published by Springer. It is now published by ACM.
See also
References
- ^ "Formal Aspects of Computing". 2010 Journal Citation Reports (Science ed.). Thomson Reuters. 2011.
{{cite book}}
:|work=
ignored (help)
External links
Categories:
- CS1 errors: periodical ignored
- Articles with short description
- Short description is different from Wikidata
- Quarterly journals (infobox)
- Articles with outdated impact factors from 2010
- Official website different in Wikidata and Wikipedia
- Academic journals established in 1989
- Computer science journals
- Formal methods publications
- British Computer Society
- Springer Science+Business Media academic journals
- Quarterly journals
- English-language journals
- All stub articles
- Computer science journal stubs