Author:Isabela Dramnesc

Publications
Certification of Tail Recursive Bubble--Sort in Theorema and Coq Isabela Dramnesc, Tudor Jebelean and Sorin Stratulat In:LPAR 2024 Complementary Volume