LEADER 01350nam  2200385   450 
001 996279680703316
005 20180317091417.0
010   $a0-9835678-7-5
035   $a(CKB)4100000000884296
035   $a(WaSeSS)IndRDA00095333
035   $a(EXLCZ)994100000000884296
100   $a20180317d2017      ||             |
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aFMCAD 2017 $eproceedings of the 17th Conference on Formal Methods in Computer-Aided Design : October 2-6, 2017, TU Wien, Vienna, Austria /$fedited by Daryl Stewart and Georg Weissenbacher
210  1$aNew York :$cIEEE,$d2017.
215   $a1 online resource (229 pages)
311   $a1-5386-1012-4 
606   $aDigital integrated circuits$xComputer-aided design$vCongresses
606   $aIntegrated circuits$xVerification$vCongresses
606   $aFormal methods (Computer science)$vCongresses
615  0$aDigital integrated circuits$xComputer-aided design
615  0$aIntegrated circuits$xVerification
615  0$aFormal methods (Computer science)
702   $aStewart$b Daryl
702   $aWeissenbacher$b Georg
801  0$bWaSeSS
801  1$bWaSeSS
906   $aPROCEEDING
912   $a996279680703316
996   $aFMCAD 2017$92494675
997   $aUNISA