Proving the correctness of the merge-sort algorithm with theorema.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Symbolic and Numeric Algorithms for Scientific Computing, Proceedings of the SYNASC02 Workshop
Pages	97-111
Number of pages	304
Publication status	Published - Oct 2002

Fields of science

@inproceedings{441e7ee078a649f3adb0fc3c22ebd437,

title = "Proving the correctness of the merge-sort algorithm with theorema.",

author = "Bruno Buchberger and Adrian Craciun",

year = "2002",

month = oct,

language = "English",

isbn = "973-585-785-5",

pages = "97--111",

booktitle = "Symbolic and Numeric Algorithms for Scientific Computing, Proceedings of the SYNASC02 Workshop",

}