Formal Aspects of Computing
Jump to navigation
Jump to search
| File:Formal Aspects of Computing.jpg | |
| 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 (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]
See also
References
- ^ "Formal Aspects of Computing". 2010 Journal Citation Reports. Web of Science (Science ed.). Thomson Reuters. 2011.
External links
  | This article about a computer science journal is a stub. You can help Justapedia by expanding it. See tips for writing articles about academic journals. Further suggestions might be found on the article's talk page. |
Categories:
- Articles with short description
- Quarterly journals (infobox)
- Articles with outdated impact factors from 2010
- Official website not in Wikidata
- Publications 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