Software (theme 1)
North-Holland
Science of Computer Programming
Computer Security

Astefanoaei, L, de Boer, F.S, Dastani, M, & Meyer, J.-J.C. (2013). A weakest precondition calculus for BUnity. Science of Computer Programming, 78(9), 1278–1293.