Certification of Tail Recursive Bubble-Sort in Theorema and Coq.

Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat

Browse the full LPAR paper archive.