LEADER 01080nam  2200325   450 
001 9910510450603321
005 20230819094706.0
035   $a(CKB)4930000000238352
035   $a(NjHacI)994930000000238352
035   $a(EXLCZ)994930000000238352
100   $a20230819d2021      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aProceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems /$fSergiy Bogomolov
210  1$aNew York, New York :$cAssociation for Computing Machinery,$d2021.
215   $a1 online resource (26 pages)
311   $a1-4503-8444-7 
606   $aElectronic data processing
615  0$aElectronic data processing.
676   $a004
700   $aBogomolov$b Sergiy$01384493
801  0$bNjHacI
801  1$bNjHacl
906   $aBOOK
912   $a9910510450603321
996   $aProceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems$93430809
997   $aUNINA