Qimin Hu, Jinyun Xue, Zhen You, Zhuo Cheng, Zhengkang Zuo. Formal Development and Verification of Reusable Component in PAR Platform. In Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan, editors, Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers. Volume 12028 of Lecture Notes in Computer Science, pages 155-166, Springer, 2019. [doi]
Abstract is missing.