Publications

Found 1 results
Author Title Type [ Year(Asc)]
Filters: Author is Ravara, António  [Clear All Filters]
2017
Soares P, Ravara A, de Sousa SM. Revisiting concurrent separation logic. J. Log. Algebr. Methods Program.. 2017;89:41-66.Edit