Formal Methods Wiki
Register
Advertisement
FACS sml logo

BCS-FACS

Wikipedia-word1 7

BCS-FACS


BCS-FACS is the British Computer Society Formal Aspects of Computing Science Specialist Group. It organizes events concerned with formal methods in the United Kingdom, especially at the BCS offices in London.

Officers

Events

Newsletters

See also

External links

Advertisement