Personensuche
X
?
Formal Methods; Lecture Notes in Computer Science ,
1
Dynamic Reconfiguration via Typed Modalities:
, In:
?
From Software Engineering to Formal Methods and Tools, and Back; Lecture Notes in Computer Science ,
2