APCB

From Formal Methods Wiki

APCB (Association de Pilotage des Conférences B) organizes meetings associated with the B-Method. Recently it has organized ZB conferences with the Z User Group and ABZ conferences, including ASM as well as Z.

[edit] External links

• APCB home page

This article is a stub. You can help Formal Methods Wiki by expanding it.