Dependable Software Engineering. Theories, Tools, and Applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings - Jun Pang, Lijun Zhang (Cham Springer, 2020)
Keywords: 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