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

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

External links[edit | edit source]


Community content is available under CC-BY-SA unless otherwise noted.