Denotational semantics for Abadi and Leino’s logic of objects (2004)

by Bernhard Reus , Jan Schwinghammer
Citations:4 - 1 self