02294nam 2200529zu 450 991037573800332120210807005202.01-4503-3217-X(CKB)3780000000084775(SSID)ssj0001456044(PQKBManifestationID)11832437(PQKBTitleCode)TC0001456044(PQKBWorkID)11408747(PQKB)11307185(WaSeSS)IndRDA00037842(Association for Computing Machinery)10.1145/2663171(EXLCZ)99378000000008477520160829d2014 uy engur|||||||||||txtccrHILT 2014 : proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA[Place of publication not identified]ACM20141 online resource (106 pages)ACM ConferencesBibliographic Level Mode of Issuance: MonographACM ConferencesHigh Integrity Language Technology 2014 :proceedings of the Association for Computing Machinery Conference on High Integrity Language Technology : October 18-21, 2014, Portland, Oregon, United States of AmericaProceedings of the 2014 ACM SIGAda annual Conference on High Integrity Language TechnologyProceedings of the 2014 Association for Computing Machinery Special Interest Group on Ada Programming Language annual Conference on High Integrity Language TechnologyHILT '14High Integrity Language Technology ACM SIGAda annual Conference, Portland, OR, USA - October 18 - 21, 2014Engineering & Applied SciencesHILCCComputer ScienceHILCCEngineering & Applied SciencesComputer ScienceFeldman Michael885779SIGAPPSIGAdaAssociation for Computing Machinery Special Interest Group on Embedded Systems,PQKBBOOK9910375738003321HILT 2014 : proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA1977856UNINA