Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs | IEEE Conference Publication | IEEE Xplore