Paul Boca is the Secretary of BCS-FACS. He was previously the FACS FACTS newsletter editor. This article is a stub. You can help Formal Methods Wiki by expanding it. Retrieved from "https://formalmethods.wikia.org/wiki/Paul_Boca?oldid=4303" Categories: Article stubs BCS-FACS People Add category Cancel Save Community content is available under CC-BY-SA unless otherwise noted.