Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat,
"Proof-based Synthesis of Sorting Algorithms for Trees"
: 10th International Conference on Language and Automata Theory and Applications, Springer, 2016
Original Titel:
Proof-based Synthesis of Sorting Algorithms for Trees
Sprache des Titels:
Englisch
Original Buchtitel:
10th International Conference on Language and Automata Theory and Applications