TY - BOOK AU - Jun Pang, Lijun Zhang. TI - Dependable Software Engineering. Theories, Tools, and Applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings SN - 9783030628222 PY - 2020/// CY - Cham PB - Springer KW - Software engineering. Computers. Computer organization. Artificial intelligence. Computer logic. Computer simulation. Software Engineering. Theory of Computation. Computer Systems Organization and Communication Networks. Logic in AI. Simulation and Modeling UR - https://doi.org/10.1007/978-3-030-62822-2 ER -