Submission of new papers for ABZ2010 (International conference on Abstract State Machines (ASM), Alloy, B and Z) is closed.

EasyChair uses cookies for user authentication. To use EasyChair, you should allow your browser to save cookies from easychair.org.