| Title | Revisiting concurrent separation logic |
| Publication Type | Articles in international peer reviewed journals |
| Authors | Soares P, Ravara A, de Sousa SM |
| [2017-61] |
| Title | Revisiting concurrent separation logic |
| Publication Type | Articles in international peer reviewed journals |
| Authors | Soares P, Ravara A, de Sousa SM |
| [2017-61] |
