Formal Aspects of Computing : Impact Factor & More
eISSN: 1433-299XpISSN: 0934-5043
Share this on:
Aims and Scope of 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 editors-in-chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British Computer Society Formal Aspects of Computing Science Specialist Group. According to the Journal Citation Reports, the journal has a 2010 impact factor of 1.170. Less
Key Metrics
CiteScore 
2.6
H-Index
43
Impact Factor
< 5
SJR
Q2Software
SNIP
1.19
Recommended pre-submission checks
Powered by 
Run standard language and technical checks to improve your manuscript – before you submit
Technical Compliance
Ensure manuscript complies with standard submission guidelines.
Language Quality
Improve clarity, grammar, and academic writing style.
A comprehensive report covering all these checks awaits you.
Topics Covered on Formal Aspects of Computing
Formal Aspects of Computing Journal Specifications
Indexed in the following public directories
Web of Science 
Inspec 
SJR
| Overview | |
| Publisher | ASSOC COMPUTING MACHINERY |
| Language | English |
| Frequency | Quarterly |
| General Details | |
| Language | English |
| Frequency | Quarterly |
| Publication Start Year | 1989 |
| Publisher URL | Visit website |
| Website URL | Visit website |
View less
Planning to publish in Formal Aspects of Computing ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations
Recently Published Papers in Formal Aspects of Computing
Development and Validation of a Formal Model and Prototype for an Air Traffic Control System
- 17 Nov 2025
- Formal Aspects of Computing
Alfonso Caracciolo di Forino and Generalized Markov Algorithms
- 8 Oct 2025
- Formal Aspects of Computing
Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
- 5 Aug 2025
- Formal Aspects of Computing
From Predicative Programming to aPToP
- 29 Jul 2025
- Formal Aspects of Computing
Foundations for Change-driven Query-based Runtime Monitoring of Temporal Properties
- 28 Jun 2025
- Formal Aspects of Computing
Review on Formal Methods for Software Engineering: Languages, Methods, Application Domains
- 28 Jun 2025
- Formal Aspects of Computing
Development and Validation of a Formal Model and Prototype for an Air Traffic Control System
- 17 Nov 2025
- Formal Aspects of Computing
Alfonso Caracciolo di Forino and Generalized Markov Algorithms
- 8 Oct 2025
- Formal Aspects of Computing
Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
- 5 Aug 2025
- Formal Aspects of Computing
From Predicative Programming to aPToP
- 29 Jul 2025
- Formal Aspects of Computing
Foundations for Change-driven Query-based Runtime Monitoring of Temporal Properties
- 28 Jun 2025
- Formal Aspects of Computing
Review on Formal Methods for Software Engineering: Languages, Methods, Application Domains
- 28 Jun 2025
- Formal Aspects of Computing
FAQs on Formal Aspects of Computing
How long has Formal Aspects of Computing been actively publishing? 
What is the publishing frequency of Formal Aspects of Computing?
How many articles did Formal Aspects of Computing publish last year?
What is the eISSN & pISSN for Formal Aspects of Computing?
What is Citescore for Formal Aspects of Computing?
What is the H Index for Formal Aspects of Computing ?
What is SNIP score for Formal Aspects of Computing?
What is the SJR for Formal Aspects of Computing?
Who is the publisher of Formal Aspects of Computing?
