Formal Methods Wiki
Advertisement

Jonathan Bowen

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

External links

Advertisement