LEADER 00000cam  2200409 i 4500 
001    OCM1ssj0001456044 
003    WaSeSS 
005    20180507180310.0 
006    m        d         
007    cr  n          
008    150329s2014    nyu|||||s|||||1|1|||eng d 
020    9781450332170 (print) 
035    (WaSeSS)ssj0001456044 
040    WaSeSS|beng|cWaSeSS|dWaSeSS 
050  4 QA76.76.V47 
245 00 HILT 2014 :|bproceedings of the ACM Conference on High 
       Integrity Language Technology : October 18-21, 2014, 
       Portland, OR, USA /|csponsored by ACM SIGAda ; in 
       cooperation with ACM SIGAPP, ACM SIGBED, ACM SIGCAS, ACM 
       SIGCSE, ACM SIGPLAN, ACM SIGSOFT. 
246 1  High Integrity Language Technology 2014 :|bproceedings of 
       the Association for Computing Machinery Conference on High
       Integrity Language Technology : October 18-21, 2014, 
       Portland, Oregon, United States of America 
246 1  Proceedings of the 2014 ACM SIGAda annual Conference on 
       High Integrity Language Technology 
246 1  Proceedings of the 2014 Association for Computing 
       Machinery Special Interest Group on Ada Programming 
       Language annual Conference on High Integrity Language 
       Technology 
246 1  HILT '14 
246 1  High Integrity Language Technology ACM SIGAda annual 
       Conference, Portland, OR, USA - October 18 - 21, 2014 
260    New York :|bACM,|c2014. 
300    1 online resource (106 pages) 
500    Includes index. 
650  0 Computer software|xVerification|vCongresses. 
650  0 Ada (Computer program language)|vCongresses. 
650  0 Computer software|xReliability|vCongresses. 
710 2  SIGAda. 
710 2  SIGAPP. 
710 2  Association for Computing Machinery.|bSpecial Interest 
       Group on Embedded Systems. 
710 2  Association for Computing Machinery.|bSpecial Interest 
       Group on Computers and Society. 
710 2  Association for Computing Machinery.|bSpecial Interest 
       Group on Computer Science Education. 
710 2  ACM Special Interest Group on Programming Languages. 
710 2  ACM Sigsoft. 
856 40 |uhttps://dl.acm.org/citation.cfm?id=2663171|zFull text 
       available from ACM Digital Library