Proof Based Synthesis of Sorting Algorithms

Research output: Working paper and reports › Preprint

Original language	English
Place of Publication	Altenberger Str. 69, 4040 Linz, Austria
Publisher	JKU Linz
Number of pages	49
Publication status	Published - Jul 2010

Name	RISC Report Series
No.	10-17

Fields of science

@techreport{06d3ee6c163c4aae924235b0069eecbb,

title = "Proof Based Synthesis of Sorting Algorithms",

author = "Isabela Dramnesc and Tudor Jebelean",

year = "2010",

month = jul,

language = "English",

series = "RISC Report Series",

publisher = "JKU Linz",

number = "10-17",

type = "WorkingPaper",

institution = "JKU Linz",

}