Sosuke Moriguchi, Takuo Watanabe. An interactive extension mechanism for reusing verified programs. In Sung Y. Shin, José Carlos Maldonado, editors, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013. pages 1236-1243, ACM, 2013. [doi]
@inproceedings{MoriguchiW13,
title = {An interactive extension mechanism for reusing verified programs},
author = {Sosuke Moriguchi and Takuo Watanabe},
year = {2013},
doi = {10.1145/2480362.2480594},
url = {http://doi.acm.org/10.1145/2480362.2480594},
researchr = {https://researchr.org/publication/MoriguchiW13},
cites = {0},
citedby = {0},
pages = {1236-1243},
booktitle = {Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013},
editor = {Sung Y. Shin and José Carlos Maldonado},
publisher = {ACM},
isbn = {978-1-4503-1656-9},
}