Towards Mechanized Program Verification with Separation Logic Tjark Weber

First Page		Document Content
Date: 2005-09-13 07:35:48 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 Source URL: user.it.uu.se Download Document from Source Website File Size: 3,01 MB Share Document on Facebook