LEADER 01457nam  2200409   450 
001 996575525203316
005 20230414104127.0
010   $a1-7281-8928-4
035   $a(CKB)5590000000003929
035   $a(NjHacI)995590000000003929
035   $a(EXLCZ)995590000000003929
100   $a20230414d2020      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$a2020 Forum for Specification and Design Languages (FDL) /$fInstitute of Electrical and Electronics Engineers (IEEE)
210  1$aPiscataway, New Jersey :$cInstitute of Electrical and Electronics Engineers (IEEE),$d2020.
215   $a1 online resource $cillustrations some color
311   $a1-7281-8929-2 
517   $a2020 Forum for Specification and Design Languages 
606   $aComputer software$xVerification
606   $aConference papers and proceedings
606   $aComputer hardware description languages
606   $aSoftware architecture$vCongresses
615  0$aComputer software$xVerification.
615  0$aConference papers and proceedings.
615  0$aComputer hardware description languages.
615  0$aSoftware architecture
676   $a005.14
801  0$bNjHacI
801  1$bNjHacl
906   $aPROCEEDING
912   $a996575525203316
996   $a2020 Forum for Specification and Design Languages (FDL)$92519610
997   $aUNISA