LEADER 01259nam  2200373   450 
001 9910514186303321
005 20230821213953.0
024 7 $a10.1145/3487212
035   $a(CKB)5700000000001528
035   $a(NjHacI)995700000000001528
035   $a(EXLCZ)995700000000001528
100   $a20230821d2021      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aProceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design /$fS. Arun-Kumar, [and three others]
210  1$aNew York, NY :$cAssociation for Computing Machinery,$d2021.
215   $a1 online resource (149 pages). $cillustrations
225 0 $aACM Conferences
311   $a1-4503-9127-3 
606   $aElectronic data processing
606   $aComputer science
615  0$aElectronic data processing.
615  0$aComputer science.
676   $a004
700   $aArun-Kumar$b S.$01384963
801  0$bNjHacI
801  1$bNjHacl
906   $aBOOK
912   $a9910514186303321
996   $aProceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design$93431895
997   $aUNINA