Sciweavers

FASE
2003
Springer

Model Checking Software via Abstraction of Loop Transitions

13 years 11 months ago
Model Checking Software via Abstraction of Loop Transitions
Natasha Sharygina, James C. Browne
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where FASE
Authors Natasha Sharygina, James C. Browne
Comments (0)