Explore relationships

BCS-FACS

BCS-FACS is the BCSFormal Aspects of Computing Science Specialist Group. OverviewThe FACS group, inaugurated on 16 March 1978, organizes meetings for its members and others on formal methods and related computer science topics.

Use + to expand a branch. Click a topic name to open its summary.