2012-01-01
Verification of object-oriented programs: A transformational approach
Publication
Publication
J. Comput. Syst. Sci.
,
Volume 78
-
Issue 3
| 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).
|