International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z (Previously International Conference of B and Z Users, ZB, changed in 2008)
ABZ
C
CORE rank
CORE rank (raw)
C
Fields of research
Software Engineering · Theory of Computation
Papers indexed
None yet
ABZ papers
Publication archive sourced from DBLP.
No archive for this venue yet
Our DBLP snapshot contains no records filed under ABZ. Rank and acceptance data above are unaffected.
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems