Safemos.gif(391 × 119 pixels, file size: 3 KB, MIME type: image/gif)

Summary Edit

SAFEMOS project logo.

Licensing: Edit

This file was uploaded by the photographer or author.

Appears on these pages


    The f project used formal methods extensively, and HOL and Z in particular. The project liaised...

  • Towards Verified Systems

    In the USA and Canada, contact: Price: US$ 168.75

File history

Click on a date/time to view the file as it appeared at that time.

current13:41, March 20, 2009Thumbnail for version as of 13:41, March 20, 2009391 × 119 (3 KB)Jpbowen (Talk | contribs)SAFEMOS project logo. Category:Logos

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.