0934-5043 is the ISSN of Formal Aspects of Computing.

About Formal Aspects of Computing

ISSN
0934-5043
1433-299X
Publisher
Springer London