01432nam 2200457 450 991050262530332120231110213256.03-030-88494-5(CKB)5360000000050076(MiAaPQ)EBC6745481(Au-PeEL)EBL6745481(OCoLC)1274198284(PPN)258296127(EXLCZ)99536000000005007620220702d2021 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierRuntime verification 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, proceedings /Lu Feng, Dana FismanCham, Switzerland :Springer International Publishing,[2021]©20211 online resource (339 pages)Lecture Notes in Computer Science ;v.129743-030-88493-7 Lecture Notes in Computer Science Software engineeringSoftware engineeringComputer programsSoftware engineering.Software engineeringComputer programs.005.1Feng Lu1072888Fisman DanaMiAaPQMiAaPQMiAaPQBOOK9910502625303321Runtime verification2897503UNINA