Fandom

Formal Methods Wiki

Centre for Applied Formal Methods

120pages on
this wiki
Add New Page
Talk0 Share
Cafm-logo-small

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

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.