TY  - GEN
T1  - Structured object-oriented formal language and method :9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised selected papers /
DA  - 2020.
CY  - Cham :
AU  - Miao, Huaikou,
AU  - Tian, Cong.
AU  - Liu, Shaoying,
AU  - Duan, Zhenhua.
VL  - 12028
CN  - QA76.9.L63
PB  - Springer,
PP  - Cham :
PY  - 2020.
N1  - Includes author index.
ID  - 929021
KW  - Formal methods (Computer science)
KW  - Object-oriented methods (Computer science)
SN  - 9783030414184
SN  - 3030414183
TI  - Structured object-oriented formal language and method :9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised selected papers /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-41418-4
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-41418-4
ER  -