ABZ 2010 (Orford, Canada)


Date
Jun 1, 2010 — Jun 4, 2010
Event
2nd International Conference on ASM, Alloy, B, and Z
Location
Orford, Canada
Keynotes:
    Daniel Jackson
    A Structure for Dependability Arguments
    Sofiène Tahar
    Formal Probabilistic Analysis: A Higher-Order Logic Based Approach
ABZ'10