Algebraic separation logic
✍
H.-H. Dang; P. Höfner; B. Möller
📂
Article
📅
2011
🏛
Elsevier Science
🌐
English
⚖ 517 KB