Sciweavers

15777 search results - page 43 / 3156
» Engineering in Software
Sort
View
FASE
2003
Springer
15 years 7 months ago
Model Checking Software via Abstraction of Loop Transitions
Natasha Sharygina, James C. Browne
82
Voted
ICSM
2002
IEEE
15 years 7 months ago
Behavioural Concern Modelling for Software Change Tasks
Albert Lai, Gail C. Murphy