팔로우
Rodrigo Ferreira
Rodrigo Ferreira
소속을 알 수 없음
aya.yale.edu의 이메일 확인됨
제목
인용
인용
연도
On the relationship between concurrent separation logic and assume-guarantee reasoning
X Feng, R Ferreira, Z Shao
European Symposium on Programming, 173-188, 2007
1752007
Parameterized memory models and concurrent separation logic
R Ferreira, X Feng, Z Shao
European Symposium on Programming, 267-286, 2010
352010
Parameterized memory models and concurrent separation logic (extended version)
R Ferreira, X Feng, Z Shao
Technical Report YALEU/DCS/TR-1422, Department of Computer Science, Yale …, 2009
12009
Memory Consistency and Program Verification
R Ferreira
Yale University, 2010
2010
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–4