BREAKING NEWS
Cloud Server Hosting For Online Businesses
Inexpensive SEO Services
Benefits of Wanting to play Free Online Slot machines
Formal Aspects of Computing

Summary

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]

Formal Aspects of Computing
DisciplineComputer science, formal methods
LanguageEnglish
Edited byJim Woodcock, Cliff Jones
Publication details
History1989–present
Publisher
FrequencyQuarterly
1.170 (2010)
Standard abbreviations
ISO 4Form. Asp. Comput.
Indexing
ISSN0934-5043 (print)
1433-299X (web)
OCLC no.42939863
Links
  • Journal homepage

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

See also edit

References edit

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

External links edit

  • Official website