@inproceedings{9160bd64b7784250b7fb97a665e74b1d,
title = "Hemodialysis Machine in Hybrid Event-B",
author = "R. Banach",
year = "2016",
month = may,
language = "English",
isbn = "9783319336008",
series = "Lecture notes in computer science",
publisher = "Springer Nature",
pages = "376--393",
editor = "Michael Butler and Klaus-Dieter Schewe and Atif Mashkoor and Miklos Biro",
booktitle = "Abstract state machines, alloy, B, TLA, VDM, and Z : 5th international conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings",
address = "United States",
note = "ABZ 2016 ; Conference date: 23-05-2016 Through 27-05-2016",
}