Back to Results
First PageMeta Content
Software engineering / Procedural programming languages / Logic in computer science / Hoare logic / Type theory / Separation logic / Standard ML / Heap / ALGOL 68 / Programming language theory / Theoretical computer science / Program logic


Document Date: 2011-07-10 14:38:56

Open Document

File Size: 350,77 KB

Share Result on Facebook
UPDATE