Formal_Aspects_of_Computing

<i>Formal Aspects of Computing</i>

Formal Aspects of Computing

Academic journal

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

Quick Facts Discipline, Language ...

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

See also

References

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


Stub icon 1 Stub icon 2

This article about a computer science journal is a stub. You can help Wikipedia by expanding it.

See tips for writing articles about academic journals. Further suggestions might be found on the article's talk page.
Share this article:

This article uses material from the Wikipedia article Formal_Aspects_of_Computing, and is written by contributors. Text is available under a CC BY-SA 4.0 International License; additional terms may apply. Images, videos and audio are available under their respective licenses.