Toggle navigation
Home
People
Departments
Research
About
Login
Search
Modelling and Refining Hybrid Systems in Event-B and Rodin.
Chapter
Overview
Identity
Additional Document Info
View All
Overview
authors
Sekerinski, Emil
Butler, Michael J
Abrial, Jean-Raymond
Banach, Richard
publication date
2016
Identity
International Standard Book Number (ISBN) 13
978-1-4987-0158-7
Additional Document Info
start page
29
end page
42