2014
Proof Pearl: the KeY to correct and stable sorting
Publication
Publication
Journal of Automated Reasoning , Volume 53 - Issue 2 p. 129- 139
Additional Metadata | |
---|---|
Springer | |
Journal of Automated Reasoning | |
Organisation | Computer Security |
de Gouw, S., de Boer, F., & Rot, J. (2014). Proof Pearl: the KeY to correct and stable sorting. Journal of Automated Reasoning, 53(2), 129–139. |