01931nam 2200505 450 991051056110332120220819195328.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-MiAaPQMiAaPQMiAaPQBOOK9910510561103321Dependable software engineering2905739UNINA