Formal Methods Wiki
Advertisement
Museophile main.gif

Museophile Limited is a company specialising in museums and information technology, including formal methods, especially the Z notation. It was founded in 2002 by Jonathan Bowen.

External links[]


Advertisement