How Can We Help?
< Back

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 editor-in-chief is Jim Woodcock. According to the Journal Citation Reports, the journal has a 2022 impact factor of 1.0.[1]

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

See also

References

  1. ^ "Formal Aspects of Computing". 2010 Journal Citation Reports (Science ed.). Thomson Reuters. 2011. {{cite book}}: |work= ignored (help)

External links


Categories
Table of Contents