Sciweavers

15787 search results - page 31 / 3158
» Is Software Engineering Training Enough for Software Enginee...
Sort
View
FASE
2003
Springer
14 years 1 months ago
Model Checking Software via Abstraction of Loop Transitions
Natasha Sharygina, James C. Browne