Fandom

Formal Methods Wiki

VL2.jpg

120pages on
this wiki
Add New Page
Talk0
VL2.jpg (download)‎ (100 × 98 pixels, file size: 3 KB, MIME type: image/jpeg)

Summary Edit

Virtual Library logo (double size)

Licensing: Edit

This file does not have information on its copyright status.

Appears on these pages
of

  • ABZ

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

  • ABZ 2010

    The International Conference of Alloy, ASM, B, and Z Users (ABZ 2010) covered various...

  • ABZ 2012

    The International Conference of Alloy, ASM, B, VDM, and Z Users (ABZ 2012) covers various...

See full list >

File history

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

Date/TimeThumbnailDimensionsUserComment
current17:59, March 11, 2009Thumbnail for version as of 17:59, March 11, 2009100 × 98 (3 KB)Jpbowen (Talk | contribs)VL logo (double size)

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.