Formal Aspects of Computing

From Wikipedia, the free encyclopedia

Jump to: navigation, search
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]

[edit] External links