ABZ

International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z (Previously International Conference of B and Z Users, ZB, changed in 2008)

Quick take: Recognized venue meeting standard peer-review criteria.

Software Engineering & PLTheory of ComputationDBLP ↗ICORE ↗

Rank history (CORE → ICORE)

A* Flagship · A Premier · B Established · C Recognized

Acceptance statistics

No acceptance-rate or topic data is available for this venue yet. See the ICORE page and DBLP for more information.