LEADER 00000cam  2200361 i 4500 
001    OCM1ssj0001138059 
003    WaSeSS 
005    20180507180310.0 
006    m        d         
007    cr  n          
008    140225s2012    nyu|||||s|||||1|||||eng d 
020    9781450315050 (print) 
035    (WaSeSS)ssj0001138059 
040    WaSeSS|beng|cWaSeSS|dWaSeSS 
050 14 QA76.76.V47 
245 00 HILT'12|h[electronic resource] :|bproceedings of the ACM 
       Conference on High Integrity Language Technology : 
       December 2-6, 2012 Boston, Massachusetts /|csponsored by 
       ACM SIGAda ; in cooperation with ACM SIGAPP, ACM SIGBED, 
       ACM SIGCAS, ACM SIGCSE, ACM SIGPLAN, and Ada-Europe. 
246 1  High Integrity Language Technology'12 :|bproceedings of 
       the Association for Computing Machinery Conference on High
       Integrity Language Technology : December 2-6, 2012 Boston,
       Massachusetts 
246 1  Proceedings of the 2012 ACM Conference on High Integrity 
       Language Technology 
246 1  HILT '12 Proceedings of the 2012 ACM Conference on High 
       Integrity Language Technology 
260    New York :|bACM,|c2012. 
300    1 online resource (110 pages) 
500    Includes index. 
650  0 Computer software|xVerification|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  Ada-Europe International Conference on Reliable Software 
       Technologies. 
856 40 |uhttps://dl.acm.org/citation.cfm?id=2402676|zFull text 
       available from ACM Digital Library