Publié le 29/04/2009 |

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.