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]
@inproceedings{WangZN15-1, title = {The Design and Implementation of a Dynamic Verification System of Z}, author = {Jun Wang and Yi Zhuang and Siru Ni}, year = {2015}, doi = {10.1007/978-3-319-27051-7_29}, url = {http://dx.doi.org/10.1007/978-3-319-27051-7_29}, researchr = {https://researchr.org/publication/WangZN15-1}, cites = {0}, citedby = {0}, pages = {344-355}, booktitle = {Cloud Computing and Security - First International Conference, ICCCS 2015, Nanjing, China, August 13-15, 2015. Revised Selected Papers}, editor = {Zhiqiu Huang and Xingming Sun and Junzhou Luo and Jian Wang}, volume = {9483}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-27050-0}, }