Back to Results
First PageMeta Content
Logic / Theoretical computer science / Mathematical logic / Logic in computer science / Java bytecode / Hoare logic / Interpretation / Separation logic / Bytecode / Model theory


Certificates and Separation Logic Martin Nordio1 , Cristiano Calcagno2 , and Bertrand Meyer1 1 2
Add to Reading List

Document Date: 2013-06-20 06:07:02

Open Document

File Size: 319,83 KB

Share Result on Facebook