Topic summaryBCS-FACS Expand Summary BCS-FACS is the BCSFormal Aspects of Computing Science Specialist Group. Wikipedia source
