ABZ 2016 Hemodialysis Case Study in Hybrid Event-B — Conference Version

Technical content last updated 02.07.15.

This page contains the ABZ 2016 Hemodialysis Case Study done in Hybrid Event-B.