LEADER 01746nam  2200469   450 
001 9910735595203321
005 20230829135540.0
035   $a(CKB)5590000001147000
035   $a(NjHacI)995590000001147000
035   $a(EXLCZ)995590000001147000
100   $a20230829d2023      ua             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aVORTEX '23 $eProceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution : July 18, 2023 Seattle, WA, USA /$fedited by Davide Ancona and Giorgio Audrito
210  1$aNew York, NY :$cAssociation for Computing Machinery,$d2023.
215   $a1 online resource (20 pages)
225 0 $aACM Conferences
300   $aIncludes index.
311   $a979-84-00-70249-5 
330   $aWelcome to the 6th Workshop on Verification and Monitoring at Runtime Execution (VORTEX 2023), hosted in Seattle (WA), USA, July 18, 2023, co-located with ECOOP/ISSTA 2023.
606   $aComputer software$xVerification$vCongresses
606   $aDistributed data processing
606   $aComputer science$vCongresses
606   $aEmbedded computer systems$vCongresses
606   $aFormal methods (Computer science)$vCongresses
615  0$aComputer software$xVerification
615  0$aDistributed data processing.
615  0$aComputer science
615  0$aEmbedded computer systems
615  0$aFormal methods (Computer science)
676   $a005.14
702   $aAncona$b Davide
702   $aAudrito$b Giorgio
801  0$bNjHacI
801  1$bNjHacl
906   $aBOOK
912   $a9910735595203321
996   $aVORTEX '23$93460581
997   $aUNINA