Crossref indexed

Formal Aspects of Computing

Published by Association for Computing Machinery.

ISSN 0934-5043 / 1433-299X
Submit to this journal
01

Aims & scope

Formal Aspects of Computing publishes peer-reviewed research. Manuscripts pass a technical check and a scope check by the handling editor before going to independent reviewers.

02

Recently published

DOI 10.1145/3827964
DOI 10.1145/3815784
A Comprehensive History of μCRL and mCRL2
Jan Friso Groote, Erik de Vink · 2026
DOI 10.1145/3839234
DOI 10.1145/3812540
DOI 10.1145/3742897
Experiences from the European ProCoS Projects: Provably Correct Systems
Jonathan Bowen, Martin Fränzle, Ernst-Rüdiger Olderog, Dines Bjorner, Michael Hansen, Hans Langmaack, Zhiming Liu, Ursula Martin · 2026
DOI 10.1145/3803555
The Abstract State Machines Method
Flavio Ferrarotti, Vincenzo Gervasi, Alexander Raschke, Klaus-Dieter Schewe · 2026
DOI 10.1145/3811032
Concluding the Special Collection on the History of Formal Methods
Maurice H. ter Beek, Einar Broch Johnsen · 2026
DOI 10.1145/3840559
A Theory of Probabilistic Contracts
Anton Hampus, Mattias Nyberg · 2026
DOI 10.1145/3820767
The Past, Present, and Future of Formal Methods in Brazil
Gustavo Carvalho, Haniel Barbosa, Lucas Lima, Edjard Mota, Sidney Nogueira · 2026
DOI 10.1145/3845989
Real-Time Model Checking for Closed-Loop Robot Reactive Planning
Christopher Chandler, Bernd Porr, Giulia Lafratta, Alice Miller · 2026
DOI 10.1145/3849801
Kukicha -- Efficient Yet Powerful Refinement Types for Object-Oriented Languages
Florian Lanzinger, Joshua Bachmeier, Mattias Ulbrich, Werner Dietl · 2026
DOI 10.1145/3849492
Journal metrics
Total DOIs1,236
Current DOIs107
Backfile DOIs1,129
Published here0

Publish with us

Five steps, about 15 minutes. You can save and come back at any point.

Submit manuscript