in HILT 2014 - Proceedings of the ACM Conference on High Integrity Language Technology
Pages: 87-96
Conference
Acm Sigada's Annual International Conference High Integrity Language Technology, Hilt 2014, Date: 18 October 2014 through 21 October 2014, Sponsors: ACM SIGAda;AdaCore;Ellidiss;Microsoft Research