Haihe Shi, Jinyun Xue. Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs. In Wenying Feng, Feng Gao, editors, Proceedings of the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2007, July 30 - August 1, 2007, Qingdao, China. pages 952-957, IEEE Computer Society, 2007. [doi]
@inproceedings{ShiX07, title = {Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs}, author = {Haihe Shi and Jinyun Xue}, year = {2007}, doi = {10.1109/SNPD.2007.552}, url = {http://doi.ieeecomputersociety.org/10.1109/SNPD.2007.552}, researchr = {https://researchr.org/publication/ShiX07}, cites = {0}, citedby = {0}, pages = {952-957}, booktitle = {Proceedings of the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2007, July 30 - August 1, 2007, Qingdao, China}, editor = {Wenying Feng and Feng Gao}, publisher = {IEEE Computer Society}, isbn = {0-7695-2909-7}, }