Programming Systems Lab: Publications by Murat Baktiev

Saarland University Computer Science

Select author:

2006

Permutation Semantics of Separation Logic   (pdf)
Murat Baktiev
Master's Thesis, Saarland University


Login to edit


Webmaster, Mon May 30 13:48:30 2016