LEADER 01095nam  2200337   450 
001 996575400703316
005 20230419175919.0
010   $a1-7281-4113-3
035   $a(CKB)4100000009669500
035   $a(NjHacI)994100000009669500
035   $a(EXLCZ)994100000009669500
100   $a20230419d2019      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$a2019 Forum for Specification and Design Languages (FDL) /$fInstitute of Electrical and Electronics Engineers
210  1$a[Place of publication not identified] :$cIEEE,$d2019.
215   $a1 online resource
311   $a1-7281-4114-1 
517   $a2019 Forum for Specification and Design Languages 
606   $aComputer programs$xVerification$vCongresses
615  0$aComputer programs$xVerification
676   $a005.14
801  0$bNjHacI
801  1$bNjHacl
906   $aPROCEEDING
912   $a996575400703316
996   $a2019 Forum for Specification and Design Languages (FDL)$92540928
997   $aUNISA