DMCA

Correctness of effect-based program transformations (2008)

by Martin Hofmann
Venue:Formal Logical Methods for System Security and Correctness
Citations:4 - 1 self