LEADER 01358nam  2200409   450 
001 996279615803316
005 20180814114510.0
035   $a(CKB)3710000001156643
035   $a(WaSeSS)IndRDA00103108
035   $a(EXLCZ)993710000001156643
100   $a20180814d2016      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFMCAD 2016 $eproceedings of the 16th Conference on Formal Methods in Computer-Aided Design : October 3-6, 2016, Mountain View, California, USA /$fedited by Ruzica Piskac and Muralidhar Talupur
210  1$aAustin, Texas :$cFMCAD,$d2016.
215   $a1 online resource (214 pages)
311   $a1-5386-2692-6 
311   $a0-9835678-6-7 
606   $aFormal methods (Computer science)$vCongresses
606   $aComputer systems$xComputer-aided design$vCongresses
606   $aSystem design$vCongresses
608   $aElectronic books.
615  0$aFormal methods (Computer science)
615  0$aComputer systems$xComputer-aided design
615  0$aSystem design
676   $a004.0151
702   $aPiskac$b Ruzica
702   $aTalupur$b Muralidhar
801  0$bWaSeSS
801  1$bWaSeSS
906   $aPROCEEDING
912   $a996279615803316
996   $aFMCAD 2016$91945327
997   $aUNISA