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 Edit

• Company information

This article is a stub. You can help Formal Methods Wiki by expanding it.