Collaborated with:P.A.Abdulla B.Jonsson
Talks about:fragment (1) abstract (1) concurr (1) analysi (1) shape (1)
Person: Cong Quy Trinh
DBLP: Trinh:Cong_Quy
Contributed to:
2018Wrote 1 papers:
- ESOP-2018-AbdullaJT #abstraction #analysis #concurrent
- Fragment Abstraction for Concurrent Shape Analysis (PAA, BJ, CQT), pp. 442–471.