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 editors-in-chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British Computer Society Formal Aspects of Computing Science Specialist Group. 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 | |
References
- "Formal Aspects of Computing". 2010 Journal Citation Reports. Web of Science (Science ed.). Thomson Reuters. 2011.
External links
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.