scientific article; zbMATH DE number 2227867
From MaRDI portal
Publication:5703804
zbMath1118.68535MaRDI QIDQ5703804
Dominique Méry, Dominique Cansell, Jean-Raymond Abrial
Publication date: 10 November 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Experiments in program verification using Event-B ⋮ Relational Concurrent Refinement: Automata ⋮ Proving Quicksort Correct in Event-B ⋮ More Relational Concurrent Refinement: Traces and Partial Relations ⋮ General Refinement, Part One: Interfaces, Determinism and Special Refinement ⋮ Retrenchment for Event-B: UseCase-wise development and Rodin integration ⋮ Introducing extra operations in refinement ⋮ Verification of compliance for multilevel models in individual trace semantics ⋮ Sound and Relaxed Behavioural Inheritance ⋮ Generic Tools via General Refinement ⋮ Spot the difference: a detailed comparison between B and Event-B
This page was built for publication:
