@Inproceedings{EPTCS209.5, author = {Diallo, Nafi and Ghardallou, Wided and Desharnais, Jules and Mili, Ali}, year = {2016}, title = {Program Derivation by Correctness Enhacements}, editor = {Derrick, John and Boiten, Eerke and Reeves, Steve}, booktitle = {{\rm Proceedings 17th International Workshop on} Refinement, {\rm Oslo, Norway, 22nd June 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {209}, publisher = {Open Publishing Association}, pages = {57-70}, doi = {10.4204/EPTCS.209.5}, }