LEADER 01414nam  2200385   450 
001 9910332541403321
005 20230808204310.0
010   $a1-5090-1141-2
035   $a(CKB)4100000008867365
035   $a(WaSeSS)IndRDA00120231
035   $a(EXLCZ)994100000008867365
100   $a20200313d2016      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$a2016 1st IEEE International Verification and Security Workshop $e4-6 July 2016, St. Feliu de Guixols, Spain /$fIEEE Computer Society, Technical Council on Test Technology
210  1$aPiscataway, New Jersey :$cInstitute of Electrical and Electronics Engineers,$d2016.
215   $a1 online resource (13 pages)
311   $a1-5090-1142-0 
606   $aElectronic systems$xSecurity measures$vCongresses
606   $aComputer software$xVerification$vCongresses
606   $aComputer security$vCongresses
615  0$aElectronic systems$xSecurity measures
615  0$aComputer software$xVerification
615  0$aComputer security
676   $a005.14
712 02$aIEEE Computer Society.$bTechnical Council on Test Technology,
801  0$bWaSeSS
801  1$bWaSeSS
906   $aPROCEEDING
912   $a9910332541403321
996   $a2016 1st IEEE International Verification and Security Workshop$92509987
997   $aUNINA