2012
Verification of object-oriented programs: A transformational approach
Publication
Publication
Journal of Computer and System Sciences , Volume 78 - Issue 3 p. 823- 852
Additional Metadata | |
---|---|
, | |
Elsevier | |
doi.org/10.1016/j.jcss.2011.08.002 | |
Journal of Computer and System Sciences | |
Organisation | Networks and Optimization |
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
|