LEADER 02294nam  2200529zu 450 
001 9910375738003321
005 20210807005202.0
010   $a1-4503-3217-X
035   $a(CKB)3780000000084775
035   $a(SSID)ssj0001456044
035   $a(PQKBManifestationID)11832437
035   $a(PQKBTitleCode)TC0001456044
035   $a(PQKBWorkID)11408747
035   $a(PQKB)11307185
035   $a(WaSeSS)IndRDA00037842
035   $a(Association for Computing Machinery)10.1145/2663171
035   $a(EXLCZ)993780000000084775
100   $a20160829d2014      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 00$aHILT 2014 : proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA
210 31$a[Place of publication not identified]$cACM$d2014
215   $a1 online resource (106 pages)
225 1 $aACM Conferences
300   $aBibliographic Level Mode of Issuance: Monograph
410  0$aACM Conferences
517 1 $aHigh Integrity Language Technology 2014 :$eproceedings of the Association for Computing Machinery Conference on High Integrity Language Technology : October 18-21, 2014, Portland, Oregon, United States of America
517 1 $aProceedings of the 2014 ACM SIGAda annual Conference on High Integrity Language Technology
517 1 $aProceedings of the 2014 Association for Computing Machinery Special Interest Group on Ada Programming Language annual Conference on High Integrity Language Technology
517 1 $aHILT '14
517 1 $aHigh Integrity Language Technology ACM SIGAda annual Conference, Portland, OR, USA - October 18 - 21, 2014
606   $aEngineering & Applied Sciences$2HILCC
606   $aComputer Science$2HILCC
615  7$aEngineering & Applied Sciences
615  7$aComputer Science
700   $aFeldman$b Michael$0885779
712 02$aSIGAPP
712 02$aSIGAda
712 02$aAssociation for Computing Machinery Special Interest Group on Embedded Systems,
801  0$bPQKB
906   $aBOOK
912   $a9910375738003321
996   $aHILT 2014 : proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA$91977856
997   $aUNINA