Formal Aspects of Computing
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]
 | |
| 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 | |
Until 2021, the journal was published by Springer. It is now published by ACM.
References
- "Formal Aspects of Computing". 2010 Journal Citation Reports. 2011.
{{cite book}}:|work=ignored (help)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.