Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology - Feldman, Michael (Verfasser); Association for Computing Machinery-Digital Library; ACM Special Interest Group on Computers and Society; ACM Special Interest Group on Embedded Systems; ACM Special Interest Group on Ada Programming Language; ACM Special Interest Group on Software Engineering; ACM Special Interest Group on Applied Computing; ACM Special Interest Group on Programming Languages; ACM Special Interest Group on Computer Science Education (ACM, 2014)