Sciweavers

MSCS
2006

Denotational semantics for a program logic of objects

13 years 11 months ago
Denotational semantics for a program logic of objects
Bernhard Reus, Jan Schwinghammer
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2006
Where MSCS
Authors Bernhard Reus, Jan Schwinghammer
Comments (0)