LEADER 00000cam  2200397 i 4500 
001    OCM1ssj0001254479 
003    WaSeSS 
005    20180507180310.0 
006    m        d         
007    cr  n          
008    140605s2013    nyu|||||s|||||1|1|||eng d 
020    9781450324670 (print) 
035    (WaSeSS)ssj0001254479 
040    WaSeSS|beng|cWaSeSS|dWaSeSS 
050  4 QA76.76.V47 
245 00 HILT '13|h[electronic resource] :|bproceedings of the ACM 
       Conference on High Integrity Language Technology : 
       November 10-14, 2013, Pittsburgh, PA, 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 '13 :|bproceedings of 
       the Association for Computing Machinery Conference on High
       Integrity Language Technology : November 10-14, 2013, 
       Pittsburgh, Pennsylvania, United States of America 
246 1  Proceedings of the 2013 ACM SIGAda annual Conference on 
       High Integrity Language Technology 
246 1  HILT 2013 
246 1  High Integrity Language Technology ACM SIGAda Annual, 
       Pittsburgh, PA, USA - November 10 - 14, 2013 
260    New York :|bACM,|c2013. 
300    1 online resource (90 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=2527269|zFull text 
       available from ACM Digital Library