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, 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[edit]
References[edit]
- ↑ 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 Search this book on ..
External links[edit]
This article about an organization in France is a stub. You can help EverybodyWiki by expanding it. |
This article "APCB" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:APCB. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.