Journal Report

Formal Aspects of Computing

Download PDF
Journal Information
Journal Title
Formal Aspects of Computing
Publisher
Association for Computing Machinery
ISSN
0934-5043
E-ISSN
1433-299X
Database
SCOPUS
Domain
Physical Sciences, Social Sciences
Classification History
Year A+ A B C
2026 ✓ ✓
2025 ✓ ✓
2024 ✓ ✓
2023 ✓ ✓
2021/2022 ✓ ✓
2020 ✓ ✓
2019 ✓ ✓
2018 ✓
A journal may have more than one classification in the same year. All recorded classifications are displayed.
Recent Articles
Denotational and Algebraic Semantics for the SMrCaIT calculus Based on UTP
Ningning Chen, Huibiao Zhu, Jifeng He
2026-10-16 Vol. 38 Issue 4 Pages 1-46
DOI: 10.1145/3827964
Formal Methods in Industry: A Critical Evaluation of Their Use at Amazon Web Services
James Woodcock, Peter Gorm Larsen
2026-10-16 Vol. 38 Issue 4 Pages 1-73
DOI: 10.1145/3815784
A Comprehensive History of μCRL and mCRL2
Jan Friso Groote, Erik de Vink
2026-10-14 Vol. 38 Issue 4 Pages 1-31
DOI: 10.1145/3839234
The dynamics of belief: continuously monitoring and visualising complex systems
Edwin Beggs, John Tucker
2026-10-14 Vol. 38 Issue 4 Pages 1-31
DOI: 10.1145/3812540
From Predicative Programming to aPToP
Eric Hehner
2026-10-14 Vol. 38 Issue 4 Pages 1-17
DOI: 10.1145/3742897
Experiences from the European ProCoS Projects: Provably Correct Systems
Jonathan Bowen, Martin Fränzle, Ernst-Rüdiger Olderog et al.
2026-10-14 Vol. 38 Issue 4 Pages 1-29
DOI: 10.1145/3803555
The Abstract State Machines Method
Flavio Ferrarotti, Vincenzo Gervasi, Alexander Raschke et al.
2026-10-14 Vol. 38 Issue 4 Pages 1-37
DOI: 10.1145/3811032
Concluding the Special Collection on the History of Formal Methods
Maurice H. ter Beek, Einar Broch Johnsen
2026-10-14 Vol. 38 Issue 4 Pages 1-2
DOI: 10.1145/3840559
A Theory of Probabilistic Contracts
Anton Hampus, Mattias Nyberg
2026-10-14 Vol. 38 Issue 4 Pages 1-49
DOI: 10.1145/3820767
The Past, Present, and Future of Formal Methods in Brazil
Gustavo Carvalho, Haniel Barbosa, Lucas Lima et al.
2026-10-14 Vol. 38 Issue 4 Pages 1-34
DOI: 10.1145/3845989
Articles retrieved from Crossref.
Green Journals | https://www.green-journals.com | info@green-journals.com
Printed: November 5, 2026 11:22