Sciweavers

KBSE
2002
IEEE

Assumption Generation for Software Component Verification

14 years 5 months ago
Assumption Generation for Software Component Verification
Dimitra Giannakopoulou, Corina S. Pasareanu, Howar
Added 15 Jul 2010
Updated 15 Jul 2010
Type Conference
Year 2002
Where KBSE
Authors Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer
Comments (0)