Publications

Found 1 results

Author [ Title] Type Year

Filters: Author is Ravara, António  [Clear All Filters]

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 

R

Soares P, Ravara A, de Sousa SM. Revisiting concurrent separation logic. J. Log. Algebr. Methods Program.. 2017;89:41-66.Edit