Formal Methods Wiki

Paul Boca is the Secretary of BCS-FACS. He was previously the FACS FACTS newsletter editor.