Additional Metadata
THEME Software (theme 1)
Publisher North-Holland
Journal Science of Computer Programming
Citation
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.