Axiomatic Semantics for Java^light (Extended Abstract)

by David von Oheimb