SIGADA 10 Proceedings of 2010 ACM International Conference on ADA

The conference gathers industrial and government experts, educators, software engineers, and researchers interested in developing, analyzing, and certifying reliable, safe, secure software.