Contact

Workshop on Recent Innovations and Applications in B

The “Recent Innovations and Applications in B” (RIAB) workshop will be held at Eindhoven on 3 November 2009 as part of the Formal Methods week.

For more information: RIAB.

You will also like:

Copy link
Powered by Social Snap