Sciweavers

77
Voted
FM
2006
Springer

Towards Automatic Exception Safety Verification

15 years 14 days ago
Towards Automatic Exception Safety Verification
Xin Li, H. James Hoover, Piotr Rudnicki
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where FM
Authors Xin Li, H. James Hoover, Piotr Rudnicki
Comments (0)