TY - DATA AU - Shaoying Liu AU - Ai Liu AU - Zhenhua Duan TI - Structured Object-Oriented Formal Language and Method T2 - Lecture Notes in Computer Science SN - 9783031294761 PB - Springer KW - Computer Science KW - Software Engineering UR - https://link.springer.com/openurl?genre=book&isbn=978-3-031-29476-1 ER -