Formal Aspects of Computing

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Formal Aspects of Computing  
Formal Aspects of Computing.jpg
Discipline Computer science, formal methods
Language English
Edited by Jim Woodcock, Cliff Jones
Publication details
Publication history
Frequency Quarterly
ISSN 0934-5043 (print)
1433-299X (web)
OCLC no. 42939863

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.[1]

See also[edit]


  1. ^ "Formal Aspects of Computing". 2010 Journal Citation Reports. Web of Science (Science ed.). Thomson Reuters. 2011. 

External links[edit]