Overcoming restraint: composing verification of foreign functions with cogent.

Louis Cheung, Liam O'Connor, Christine Rizkallah

Browse the full CPP paper archive.