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. Retrieved from "https://formalmethods.wikia.org/wiki/Museophile_Limited?oldid=4385" Categories: Article stubs Companies 2002 Add category Cancel Save Community content is available under CC-BY-SA unless otherwise noted.