Search for persons
X
?
Rigorous State-Based Methods; Lecture Notes in Computer Science ,
1
Property Ownership Formal Modelling Using Event-B and iUML-:
, In:
?
Adjunct Proceedings of the 30th ACM Conference on User Modeling, Adaptation and Personalization ,
6