Search results for: Sandro Etalle
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Security > 131-146
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Security > 131-146