01929nam 2200505 450 99646452680331620220819195328.03-030-91265-5(MiAaPQ)EBC6810893(Au-PeEL)EBL6810893(CKB)19919641300041(OCoLC)1286620436(PPN)258838736(EXLCZ)991991964130004120220819d2021 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierDependable software engineering theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, proceedings /Shengchao Qin, Jim Woodcock, Wenhui Zhang (editors)Cham, Switzerland :Springer,[2021]©20211 online resource (327 pages)Lecture notes in computer science, programming and software engineering ;Volume 13071Print version: Qin, Shengchao Dependable Software Engineering. Theories, Tools, and Applications Cham : Springer International Publishing AG,c2021 9783030912642 Includes bibliographical references and index.LNCS sublibrary.SL 2,Programming and software engineering ;13071.Software engineeringCongressesFormal methods (Computer science)CongressesFormal methods (Computer science)Software engineeringFormal methods (Computer science)Formal methods (Computer science)005.1Qin ShengchaoWoodcock JimZhang Wenhui1963-MiAaPQMiAaPQMiAaPQBOOK996464526803316Dependable software engineering2905739UNISA