👤 Simon Kawuma and Robert Mugonza

Modeling in Event-B A Practical Approach for Systems Engineers.. Simon Kawuma and Robert Mugonza