Modeling in Event-B a Practical Approach for Systems Engineers

Bok av Kawuma Simon