author = {Isabela Dramnesc and Tudor Jebelean and Sorin Stratulat},
title = {{Combinatorial Techniques for Proof-based Synthesis of Sorting Algorithms}},
booktitle = {{SYNASC 2015: Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing}},
language = {english},
pages = {137--144},
publisher = {IEEE Computer Society},
isbn_issn = {ISBN 978-0-7695-5742-2},
year = {2015},
editor = {Laura Kovacs},
refereed = {yes},
length = {8}