Formal Methods Wiki
Advertisement

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[]


Advertisement