Author Description

HILT '14: High Integrity Language Technology ACM SIGAda Annual Conference Oct 18, 2014-Oct 21, 2014 Portland, USA. You can view more information about this proceeding and all of ACMs other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.