New2.gif(31 × 12 pixels, file size: 117 B, MIME type: image/gif)

Summary Edit


Licensing: Edit

This file does not have information on its copyright status.

Appears on these pages

  • ABZ

    The ABZ conference covers Abstract State Machines, the B-Method, and the Z notation. The first...


    BCS-FACS is the British Computer Society↑ Formal Aspects of Computing Science Specialist Group...

  • Education

    Welcome to the formal methods educational resources page. This site serves as a repository for...

See full list >

File history

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

current15:42, March 12, 2009Thumbnail for version as of 15:42, March 12, 200931 × 12 (117 B)Jpbowen (Talk | contribs)New

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.