@inproceedings{biblio-4079721997563731157, author = {Jiří Diviš and Ondřej Bojar}, year = 2010, title = {Automatic Source Code Reduction}, booktitle = {Information Technologies – Applications and Theory}, pages = {9--16}, publisher = {PONT s. r. o.}, address = {Seňa, Slovakia}, isbn = {978-80-970179-4-1}, }