Runtime Verification - 9783319111636

Courcoubetis - Computer Aided Verification 5th International Confere - X555z

Oyarzun - Interactive Storytelling 5th International Conference ICI - X555z

Prakash - Information Systems Security 5th International Conference - X555z

Blumenthal - Human-Computer Interaction 5th International Conference - X555z

Klein - Interactive Theorem Proving 5th International Conference IT - X555z

Fehr - Information Theoretic Security 5th International Conference - X555z

Jung - Scalable Information Systems 5th International Conference IN - X555z