North-Holland
Science of Computer Programming
Computer Security

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