Formal Aspects of Computing
From Wikipedia, the free encyclopedia
| 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
