Publications

Found 1 results
Author [ Title(Asc)] Type Year
Filters: First Letter Of Last Name is D and Author is de Sousa, Simão Melo  [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
Error | CMUP

Error

The website encountered an unexpected error. Please try again later.