author = {I. Dramnesc and T. Jebelean and S. Stratulat},
title = {{Certification of Tail Recursive Bubble-Sort in Theorema and Coq}},
booktitle = {{LPAR 2024 Complementary Volume}},
language = {English},
series = {Kalpa Publications in Computing},
volume = {18},
pages = {53--68},
publisher = {EasyChair},
isbn_issn = { ISSN 2515-1762},
year = {2024},
editor = {N. Bjørner and M. Heule and A. Voronkov},
refereed = {yes},
length = {16},
url = {/publications/paper/tbwq}