2012
Verification of object-oriented programs: A transformational approach
Publication
Publication
Journal of Computer and System Sciences , Volume 78 - Issue 3
Additional Metadata | |
---|---|
Software (theme 1) | |
Journal of Computer and System Sciences | |
Organisation | Computer Security |
de Boer, F.S. (2012). Verification of object-oriented programs: A transformational approach. Journal of Computer and System Sciences, 78(3).
|