Revising Z: Part I – logic and semantics Martin C. HensonSteve Reeves Original Paper Pages: 359 - 380
Revising Z: Part II – logical development Martin C. HensonSteve Reeves Original Paper Pages: 381 - 401
Parameterized Verification of Linear Networks using Automata as Invariants A. Prasad SistlaViktor Gyuris Original Paper Pages: 402 - 425
Deriving Proof Rules from Continuation Semantics Philippe AudebaudElena Zucca Original Paper Pages: 426 - 447
Hybrid Verifications of Reactive Programs Olivier RouxVlad RusuFranck Cassez Original Paper Pages: 448 - 471