Sciweavers

FM
2006
Springer

A Memory Model Sensitive Checker for C#

14 years 3 months ago
A Memory Model Sensitive Checker for C#
Thuan Quang Huynh, Abhik Roychoudhury
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where FM
Authors Thuan Quang Huynh, Abhik Roychoudhury
Comments (0)