HILT 14 High Integrity Language Technology SIGADA International C

CABS 14 Conference C - CABS 14 5th ACM International Conference Across - X555z

CBSE 14 Conference C - CBSE 14 17th International ACM SIGSOFT Symposiu - X555z

Hilt 12 Conference C - Hilt 12 Proceedings of the ACM Conference on Hi - X555z

Icpe 14 Conference C - Icpe 14 ACM Conference on Performance Engineeri - X555z

UIST 14 Conference C - Adjunct UIST 14 27th ACM User Interface Softwa - X555z

Hpdc 14 Conference C - Hpdc 14 23rd International Symposium on High - - X555z

Vee14 Conference Com - Vee '14 Proceedings of the 10th ACM Sigplan/Sig - X555z