author = {I. Dramnesc and T. Jebelean and S. Stratulat},
title = {{Certification of Sorting Algorithms Using Theorema and Coq}},
booktitle = {{SCSS 2024, Symbolic Computation in Software Science }},
language = {English},
series = {Lecture Notes in Artificial Intelligence},
volume = {14991},
pages = {38--56},
publisher = {Springer},
isbn_issn = {ISBN 978-3-031-69041-9},
year = {2024},
editor = {S. M. Watt and T. Ida},
refereed = {yes},
length = {19}