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
Experiences from the European ProCoS Projects: Provably Correct Systems
- 23 Mar 2026
- Formal Aspects of Computing
On Inductive Characterization for Divergence-sensitive Probabilistic Branching Bisimilarity
- 23 Mar 2026
- Formal Aspects of Computing
Reasoning about expression evaluation under interference
- 19 Mar 2026
- Formal Aspects of Computing
Assurance Case Development for Evolving Software Product Lines: A Formal Approach
- 24 Feb 2026
- Formal Aspects of Computing
LeanMachines: State-based Modeling with Refinement (a Lean4 Framework)
- 23 Feb 2026
- Formal Aspects of Computing
Improving Bigraph Rewriting with GrGen.NET to Enable Efficient System Simulation
- 13 Feb 2026
- Formal Aspects of Computing
Experiences from the European ProCoS Projects: Provably Correct Systems
- 23 Mar 2026
- Formal Aspects of Computing
On Inductive Characterization for Divergence-sensitive Probabilistic Branching Bisimilarity
- 23 Mar 2026
- Formal Aspects of Computing
Reasoning about expression evaluation under interference
- 19 Mar 2026
- Formal Aspects of Computing
Assurance Case Development for Evolving Software Product Lines: A Formal Approach
- 24 Feb 2026
- Formal Aspects of Computing
LeanMachines: State-based Modeling with Refinement (a Lean4 Framework)
- 23 Feb 2026
- Formal Aspects of Computing
Improving Bigraph Rewriting with GrGen.NET to Enable Efficient System Simulation
- 13 Feb 2026
- 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?
