ABZ 2014 (Toulouse, France)

Case Study

Date
Jun 2, 2014 — Jun 6, 2014
Event
4th International Conference on ASM, Alloy, B, TLA, VDM, and Z
Location
Toulouse, France
Keynotes:
    Leslie Lamport
    TLA+ for Non-Dummies
    Gerhard Schellhorn
    Development of a Verified Flash File System
    Laurent Voisin
    The Rodin Platform has turned ten
ABZ'14

Related