@inproceedings{eca97dc889c94536b0a638e199913124,
title = "Proof Techniques for Synthesis of Sorting Algorithms",
author = "Isabela Dramnesc and Tudor Jebelean",
year = "2011",
month = sep,
language = "English",
isbn = "978-0-7695-4630-8",
pages = "101--109",
editor = "{D. Wang, V. Negru, T. Ida, T. Jebelean, D. Petcu, S. Watt und D. Zaharie}",
booktitle = "Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing",
publisher = "IEEE Computer Society",
}