Runtime Verification - 9783319675305

Lahiri - Runtime Verification 17th International Conference RV 2017 - X555z

Intelligent Virtual Agents 17th International Conference IVA 2017

Computer Science and Education 17th International Conference ICCS

Enterprise Information Systems 17th International Conference ICEI

Innovations for Community Services 17th International Conference

Term Rewriting and Applications 17th International Conference RTA

Logic Programming 17th International Conference ICLP 2001 Paphos