in HILT 2013 - Proceedings of the ACM Conference on High Integrity Language Technology
Pages: 23-35
Conference
2013 Acm Sigada Annual International Conference on High Integrity Language Technology, Hilt 2013, Date: 10 November 2013 through 14 November 2013, Location: Pittsburgh, PA, Sponsors: ACM Special Interest Group on the Ada;Programming Language (SIGAda)