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 Edit

• CAFM website archive
• ast version of CAFM website

This article is a stub. You can help Formal Methods Wiki by expanding it.