Back to Results
First PageMeta Content
Mathematical logic / Logic in computer science / Theoretical computer science / Substructural logic / Logic / Separation logic / Constructible universe / Ordinal number / Computability theory / Proof theory


Towards Mechanized Program Verification with Separation Logic Tjark Weber
Add to Reading List

Document Date: 2005-09-13 07:35:48


Open Document

File Size: 3,01 MB

Share Result on Facebook
UPDATE