Proof Pearl: The KeY to Correct and Stable Sorting

Stijn de Gouw, Frank S. de Boer, Jurriaan Rot

Research output: Contribution to journal › Article › Academic › peer-review

2 Citations (Web of Science)

Original language	English
Pages (from-to)	129-139
Number of pages	11
Journal	Journal of Automated Reasoning
Volume	53
Issue number	2
DOIs	https://doi.org/10.1007/s10817-013-9300-y
Publication status	Published - 2014
Externally published	Yes

Access to Document

@article{4b1d9fa6d98f40719c09048430d28554,

title = "Proof Pearl: The KeY to Correct and Stable Sorting",

author = "Gouw, \{Stijn de\} and Boer, \{Frank S. de\} and Jurriaan Rot",

year = "2014",

doi = "10.1007/s10817-013-9300-y",

language = "English",

volume = "53",

pages = "129--139",

journal = "Journal of Automated Reasoning",

issn = "1573-0670",

publisher = "Springer Netherlands",

number = "2",

}