An interactive extension mechanism for reusing verified programs.

Sosuke Moriguchi, Takuo Watanabe

Browse the full SAC paper archive.