@inproceedings{RISC4343,author = {Isabela Dramnesc and Tudor Jebelean},
title = {{A Case Study in Proof Based Synthesis of Sorting Algorithms}},
booktitle = {{Analele Universitatii de Vest, Timisoara}},
language = {english},
series = {Matematica - Informatica},
volume = {XLVIII},
number = {3},
pages = {47--58},
publisher = {West University of Timisoara, Romania},
isbn_issn = {ISSN-1841-3293},
year = {2010},
month = {23-26 September},
editor = {D.Gaspar and D.Zaharie and B.Buchberger and D.Burghelea and G.Cassier},
refereed = {yes},
length = {12},
conferencename = {12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010)}
}