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]
Abstract is missing.