Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu. Gradual Refinement. In Claude Bolduc, Jules Desharnais, Béchir Ktari, editors, Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings. Volume 6120 of Lecture Notes in Computer Science, pages 397-425, Springer, 2010. [doi]
@inproceedings{WangGMH10,
title = {Gradual Refinement},
author = {Meng Wang and Jeremy Gibbons and Kazutaka Matsuda and Zhenjiang Hu},
year = {2010},
doi = {10.1007/978-3-642-13321-3_22},
url = {http://dx.doi.org/10.1007/978-3-642-13321-3_22},
tags = {refinement},
researchr = {https://researchr.org/publication/WangGMH10},
cites = {0},
citedby = {0},
pages = {397-425},
booktitle = {Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings},
editor = {Claude Bolduc and Jules Desharnais and Béchir Ktari},
volume = {6120},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-13320-6},
}