Publié le 05/05/2008 |
The ABZ Conference 2008 has the objective of bringing together the B, Z and ASM communities. It will be organized around one joint day and 2 days belonging to each community, that is:
- the 15th International ASM Workshop,
- the 17th International Conference of Z Users,
- the 8th International Conference on the B Method.