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 | edit source] CAFM website archive ast version of CAFM website This article is a stub. You can help Formal Methods Wiki by expanding it. Retrieved from "https://formalmethods.wikia.org/wiki/Centre_for_Applied_Formal_Methods?oldid=5065" Categories: Article stubs Jonathan Bowen Organizations 2000 Add category Cancel Save Community content is available under CC-BY-SA unless otherwise noted.