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