Английская Википедия:Formal Aspects of Computing

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Infobox 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]

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

See also

References

Шаблон:Reflist

External links


Шаблон:Compu-journal-stub