Verification of object-oriented programs: A transformational approach

2012-01-01

Journal of Computer and System Sciences , Volume 78 - Issue 3 p. 823- 852

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 APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	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

Additional Files
Publisher Version

Publication