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]
No reviews for this publication, yet.