Formal Aspects of Computing

Formal Aspects of Computing

Formal Aspects of Computing is a leading journal on formal methods. It is associated with the BCS-FACS Specialist Group.

ISSN information

ISSN 0934-5043 (printed version)
ISSN 1433-299X (online)

External links

• Springer journal home page
• Springerlink journal home page
• DBLP information