Additional Metadata
THEME Software (theme 1)
Publisher Springer
Journal Journal of Automated Reasoning
Citation
de Gouw, C.P.T, de Boer, F.S, & Rot, J.C. (2014). Proof Pearl: the KeY to correct and stable sorting. Journal of Automated Reasoning, 53(2), 129–139.