Additional Metadata
THEME Software (theme 1)
Journal J. Comput. Syst. Sci.
Citation
de Boer, F.S. (2012). Verification of object-oriented programs: A transformational approach. J. Comput. Syst. Sci., 78(3).