DMCA

A syntax-directed Hoare logic for object-oriented programming concepts (2003)

by Cees Pierik , Frank S. De Boer
Venue:Formal Methods for Open Object-Based Distributed Systems (FMOODS) VI. Volume 2884 of LNCS. (2003) 64–78
Citations:28 - 9 self