Vol-549⫷ Vol-550 ⫸Vol-551
urn:nbn:de:0074-550-0


Vol-550/paper-6⫷Vol-550/paper-7

A Constuctive Modal Semantics for Contextual Verification