HILT 2014 proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA - SIGAda; SIGAPP; Association for Computing Machinery. Special Interest Group on Embedded Systems; Association for Computing Machinery. Special Interest Group on Computers and Society; Association for Computing Machinery. Special Interest Group on Computer Science Education; ACM Special Interest Group on Programming Languages; ACM Sigsoft (New York ACM, 2014)
Keywords: Computer software -- Verification -- Congresses; Ada (Computer program language) -- Congresses; Computer software -- Reliability -- Congresses