Formal Methods Wiki
Advertisement

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


Advertisement