Welcome to ACM SIGAda's Annual International Conference High Integrity Language Technology - HILT 2012

被引：0

作者：

Brosgol, Ben ^{[1
]}

Boleng, Jeff ^{[2
]}

Taft, S. Tucker ^{[1
]}

机构：

[1] AdaCore, United States

[2] Software Engineering Institute, United States

来源：

Proceedings of the ACM SIGAda Annual International Conference; SIGAda | 2012年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用