Skip to content
My Media
My Playlists
My History
Canvas
Login
My Media
My Playlists
My History
Canvas
Login
Home
Live Stream
KTH Live
About KTH Play
Home
Live Stream
KTH Live
About KTH Play
DD2460_Lecture4_Intro_Event-B
From
Elena Troubitsyna
views
Related Media
Details
Back
DD2460. Lecture 4. Introduction into modelling and verification in Event-B.
Tags