Formal Aspects of Computing
From Wikipedia, the free encyclopedia
 |
This article may not meet the general notability guideline. Please help to establish notability by adding reliable, secondary sources about the topic. If notability cannot be established, the article is likely to be merged, redirected, or deleted. (December 2009) |
| Formal Aspects of Computing | |
|---|---|
| Discipline | Computer Science |
| Language | English |
| Edited by | J. Woodcock, C. Jones |
| Publication details | |
| Publisher | Springer (U.K.) |
| Publication history | 1989 – present |
| Frequency | Quarterly |
| Impact factor | 1.149 (2008) |
| Indexing | |
| ISSN | 0934-5043 (print) 1433-299X (web) |
| Links | |
The Formal Aspects of Computing journal is published by Springer. It is a peer-reviewed, scientific journal 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.
[edit] Impact factor
The journal has a 2008 impact factor of 1.149.[citation needed]
