Additional Metadata
THEME Logistics (theme 3), Software (theme 1)
Publisher Elsevier
Persistent URL dx.doi.org/10.1016/j.jcss.2011.08.002
Journal Journal of Computer and System Sciences
Citation
Apt, K.R, de Boer, F.S, Olderog, E.R, & de Gouw, C.P.T. (2012). Verification of object-oriented programs: A transformational approach. Journal of Computer and System Sciences , 78(3), 823–852. doi:10.1016/j.jcss.2011.08.002