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↑.
133
pages
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↑.