DMCA

Under consideration for publication in Math. Struct. in Comp. Science Denotational Semantics for a Program Logic of Objects † (2005)

by Unknown Authors