DMCA
Permission-Based Separation Logic for Multithreaded Java Programs
by
Afshin Amighi
,
Christian Haack
,
Marieke Huisman
,
Clément Hurlin
| Citations: | 4 - 1 self |
BibTeX
@TECHREPORT{Amighi_permission-basedseparation,
author = {Afshin Amighi and Christian Haack and Marieke Huisman and Clément Hurlin},
title = {Permission-Based Separation Logic for Multithreaded Java Programs},
institution = {},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
ar
