Hilt 13 Proceedings of the ACM Conference on High Integrity Language Technology

HiCONS 12 Proceedings of the 1st ACM International Conference on High Confidence

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

Proceedings of the ACM '82 Conference - Dallas - ACM NO. 401820 - PB Book

Riit 12 Proceedings of the ACM Research in Information Technology by Riit 12 Con

VEE 12 Proceedings of the ACM SIGPLAN/SIGOPS International Conference on Virtual

SiGMOD 14 Vol 1 Proceedings of the 2014 ACM SIGMOD International Conference on M

SIGGRAPH Conference Proceedings 1995 Compact Disc ACM Siggraph St