APCB とは

APCB(国際協会運営委員会運営委員会)は、高い整合性のあるソフトウェア工学で使用される有力な正式な方法の1つであるB-Methodに関する会議を開催しています。
B会議や会議を開催しています。 2000年からは、ZB会議(Zユーザーグループと共同開催されたZ表記と共同)と2008年のABZ会議(抽象状態機械も同様)になりました。 2010年には、ABZ会議にも合金が含まれていました。