LEADER 01358nam  2200385   450 
001 996575296103316
005 20230124200416.0
010   $a0-9835678-8-3
035   $a(CKB)4100000007451913
035   $a(WaSeSS)IndRDA00121831
035   $a(EXLCZ)994100000007451913
100   $a20200413d2018      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$a2018 Formal Methods in Computer Aided Design $e30 October-2 November 2018, Austin, TX, USA /$fInstitute of Electrical and Electronics Engineers
210  1$aPiscataway, New Jersey :$cInstitute of Electrical and Electronics Engineers,$d2018.
215   $a1 online resource (10 pages)
311   $a1-5386-7567-6 
606   $aFormal methods (Computer science)$vCongresses
606   $aComputer systems$xComputer-aided design$vCongresses
606   $aSystem design$vCongresses
615  0$aFormal methods (Computer science)
615  0$aComputer systems$xComputer-aided design
615  0$aSystem design
676   $a004.0151
712 02$aInstitute of Electrical and Electronics Engineers,
801  0$bWaSeSS
801  1$bWaSeSS
906   $aPROCEEDING
912   $a996575296103316
996   $a2018 Formal Methods in Computer Aided Design$92541711
997   $aUNISA