Sciweavers

CAV
2005
Springer

Wolf - Bug Hunter for Concurrent Software Using Formal Methods

14 years 5 months ago
Wolf - Bug Hunter for Concurrent Software Using Formal Methods
Sharon Barner, Ziv Glazberg, Ishai Rabinovitz
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where CAV
Authors Sharon Barner, Ziv Glazberg, Ishai Rabinovitz
Comments (0)