Formal Aspects of Computing

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]

Formal Aspects of Computing
DisciplineComputer science, formal methods
Edited byJim Woodcock, Cliff Jones
Publication details
1.170 (2010)
Standard abbreviations
ISO 4Form. Asp. Comput.
ISSN0934-5043 (print)
1433-299X (web)
OCLC no.42939863

See also


  1. "Formal Aspects of Computing". 2010 Journal Citation Reports. Web of Science (Science ed.). Thomson Reuters. 2011.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.