Formal Aspects of Computing
# 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 editor-in-chief is Jim Woodcock. According to the Journal Citation Reports, the journal has a 2010 impact factor of 1.170.

Until 2021, the journal was published by Springer. It is now published by ACM.

