LEADER 01237nam  2200361   450 
001 9910554169503321
005 20230423000412.0
010   $a1-66543-913-0
035   $a(CKB)4100000011963638
035   $a(NjHacI)994100000011963638
035   $a(EXLCZ)994100000011963638
100   $a20230423d2021      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$a2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) /$fInstitute of Electrical and Electronics Engineers
210  1$aPiscataway :$cIEEE,$d2021.
215   $a1 online resource (ix, 141 pages) $cillustrations (some color)
311   $a1-66542-984-4 
517   $a2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering 
606   $aFormal methods (Computer science)$vCongresses
606   $aSoftware engineering$vCongresses
615  0$aFormal methods (Computer science)
615  0$aSoftware engineering
676   $a004.0151
801  0$bNjHacI
801  1$bNjHacl
906   $aPROCEEDING
912   $a9910554169503321
996   $a2021 IEEE$92518023
997   $aUNINA