Last updated 30.10.17
This page directs you to the materials for the Earthquake Protection Case Study performed for Susan Stepney's Feschrift, done in Hybrid Event-B and Python.