Formal Aspects of Computing

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Formal Aspects of Computing  
Formal Aspects of Computing.jpg
Find out here
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 (FAOC) 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]