Sciweavers

CCS
2004
ACM

Using build-integrated static checking to preserve correctness invariants

14 years 5 months ago
Using build-integrated static checking to preserve correctness invariants
Hao Chen, Jonathan S. Shapiro
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where CCS
Authors Hao Chen, Jonathan S. Shapiro
Comments (0)