Skip to content Skip to footer

Research Portal of the TU Dresden

Formal Aspects of Computing

ISSNs: 0934-5043

Additional searchable ISSN (electronic): 1433-299X

Association for Computing Machinery (ACM)

Scopus rating (2025): CiteScore 2.8 SJR 0.315 SNIP 0.805

Journal

Titles	Formal Aspects of Computing Formal aspects of computing
ISSNs	0934-5043
Additional searchable ISSN (electronic)	1433-299X
Publisher	Association for Computing Machinery (ACM)
ZDB-ID	1000496-8
ZDB-ID	1476364-3

Dubslaff, C., Koopmann, P. & Turhan, A.-Y., 26 May 2021, In: Formal Aspects of Computing. 33, 6, p. 885–921 37 p.

Research output: Contribution to journal › Research article › Contributed › peer-review

Chrszon, P., Dubslaff, C., Klüppelholz, S. & Baier, C., 2018, In: Formal Aspects of Computing. 30, 1, p. 45-75 31 p.

Research output: Contribution to journal › Research article › Contributed › peer-review