Centre for Applied Formal Methods

The Centre for Applied Formal Methods (CAFM) was established in 2000 to undertake formal methods research. It was led by Prof. Jonathan Bowen at London South Bank University↑.

External links

• CAFM website archive
• ast version of CAFM website