BCS-FACS FACS FACTS is the newsletter of BCS-FACS. The current editor is Margaret West. Previously, Paul Boca was the editor. External links[edit | edit source] Newsletter information Back issues This article is a stub. You can help Formal Methods Wiki by expanding it. Retrieved from "https://formalmethods.wikia.org/wiki/FACS_FACTS?oldid=4301" Categories: Article stubs BCS-FACS Publications Add category Cancel Save Community content is available under CC-BY-SA unless otherwise noted.