Isabela Dramnesc, Hrg. Tudor Jebelean,
"Proof Techniques for Synthesis of Sorting Algorithms"
, in D. Wang, V. Negru, T. Ida, T. Jebelean, D. Petcu, S. Watt und D. Zaharie: Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, IEEE Computer Society, Seite(n) 101-109, 9-2011, ISBN: 978-0-7695-4630-8
Original Titel:
Proof Techniques for Synthesis of Sorting Algorithms
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Forschungs-