BCS-FACS is the BCS Formal Aspects of Computing Science Specialist Group.
Your experience on this site will be improved by allowing cookies. Read Cookie Policy