Formal Methods Wiki

The Centre for Software Engineering (CSE) is based at Birmingham City University. It is led by Prof. Zhiming Liu. The deputy head is Prof. Jonathan Bowen.

See also[]

External links[]