Mechanizing conventional SSA for a verified destruction with coalescing.

Delphine Demange, Yon Fernndez de Retana

Browse the full CC paper archive.