Publié le 18/11/2008 |
CLEARSY will participate to the ABZ 2010 Conference that will take place in Orford (Canada) from the February 23rd to 25th 2010. This event has the objective of bringing together the ASM, B and Z communities. Thierry Lecomte will include part of the ABZ 2010 program committee.
- ABZ 2010 Website
- ABZ – Workshop on Tool Building in Formal Methods
- Call for Paper of ABZ 2010 conference
- ABZ 2010: BART Tutorial