 |
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 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.
Impact factor
The journal has a 2008 impact factor of 1.149.[citation needed]
External links
This entry is from Wikipedia, the leading user-contributed encyclopedia. It may not have been reviewed by professional editors (see full disclaimer)
