Using Event-B for Critical Device Software Systems
-
sidottu
,
Englanti, 2013