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 ISSN 0934-5043 (printed version) ISSN 1433-299X (online) External links Edit Springer journal home page Springerlink journal home page DBLP information This article is a stub. You can help Formal Methods Wiki by expanding it. Retrieved from "https://formalmethods.wikia.org/wiki/Formal_Aspects_of_Computing?oldid=4324" Categories: Article stubs Journals BCS-FACS Add category Cancel Save Community content is available under CC-BY-SA unless otherwise noted.