HILT '12 proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012, Boston, Massachusetts
| Nhiều tác giả của công ty: | , , , , , , |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Được phát hành: |
New York
ACM
2012.
|
| Loạt: | Ada letters
v. 32, no. 3 (December 2012) |
| Những chủ đề: |


