APCB
The APCB (Association de Pilotage des Conférences B, or in English The International B Conference Steering Committee) organizes conferences about the B-Method, one of the leading formal methods, used in high-integrity software engineering.
It has organized B meetings and conferences. From 2000, these became the ZB Conference (jointly with the Z notation, co-organized with the Z User Group), and from 2008 the ABZ conference (with Abstract State Machines as well). In 2010, the ABZ conference[1] also included Alloy.
See also[]
References[]
- ^ Frappier, M., Glässer, U.; , Khurshid, S., Laleau, R., and Reeves, S. (eds.), Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22–25, 2010, Proceedings, Springer-Verlag, Lecture Notes in Computer Science, Volume 5977, 2010. ISBN 978-3-642-11810-4.
External links[]
 | This article about an organization in France is a stub. You can help Wikipedia by . |
Categories:
- French organization stubs
- Formal methods organizations
- User groups
- Professional associations based in France