Language English Frequency Quarterly | Publication history 1989–present | |
Discipline Computer science, formal methods Edited by Jim Woodcock, Cliff Jones Publisher Springer Science+Business Media | ||
Formal Aspects of Computing (FAC) 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.
References
Formal Aspects of Computing Wikipedia(Text) CC BY-SA