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 | |
---|---|
Software (theme 1) | |
Springer | |
Journal of Automated Reasoning | |
Organisation | Computer Security |
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.
|