Personensuche
X
?
Rigorous State-Based Methods; Lecture Notes in Computer Science ,
1
Semantics Formalisation – From Event-B Contexts to Theories:
, In:
?
Rigorous State-Based Methods; Lecture Notes in Computer Science ,
12