Travelled to:
1 × Canada
Collaborated with:
A.Roychoudhury
Talks about:
checker (1) sensit (1) memori (1) model (1)
Person: Thuan Quang Huynh
DBLP: Huynh:Thuan_Quang
Contributed to:
Wrote 1 papers:
- FM-2006-HuynhR #c# #memory management
- A Memory Model Sensitive Checker for C# (TQH, AR), pp. 476–491.