Formal Methods Wiki
Advertisement

Jonathan Bowen

Jonathan Bowen


Prof. Jonathan P. Bowen set up this wiki for use by the formal methods community.

Jonathan Bowen is the Treasurer of BCS-FACS. He was formerly the Chair.

See also

External links


Advertisement