an Entity in Data Space: 134.155.108.49:8890
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↑.
Graph IRI | Count |
---|---|
http://dbkwik.webdatacommons.org | 8 |