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↑.
Advertisement
133
pages
Centre for Applied Formal Methods
Advertisement