Jun Wang, Yi Zhuang, Siru Ni. The Design and Implementation of a Dynamic Verification System of Z. In Zhiqiu Huang, Xingming Sun, Junzhou Luo, Jian Wang, editors, Cloud Computing and Security - First International Conference, ICCCS 2015, Nanjing, China, August 13-15, 2015. Revised Selected Papers. Volume 9483 of Lecture Notes in Computer Science, pages 344-355, Springer, 2015. [doi]
Abstract is missing.