TY  - GEN
DO  - 10.1007/978-3-030-62822-2
DO  - doi
T1  - Dependable software engineering :theories, tools, and applications : 6th international symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings /
AU  - Pang, Jun
AU  - Zhang, Lijun,
VL  - 12153
CN  - QA76.758
N1  - Includes author index.
ID  - 946147
KW  - Software engineering
KW  - Formal methods (Computer science)
SN  - 9783030628222
SN  - 3030628221
TI  - Dependable software engineering :theories, tools, and applications : 6th international symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-62822-2
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-62822-2
ER  -