Sciweavers

42 search results - page 1 / 9
» apsec 2005
Sort
View
213
Voted
APSEC
2005
IEEE
15 years 4 months ago
Program Chairs' Message
APSEC
2005
IEEE
15 years 7 months ago
Lightweight Detection of Program Refactorings
Darren C. Atkinson, Todd King
90
Voted
APSEC
2005
IEEE
15 years 7 months ago
A Lightweight Integration of Theorem Proving and Model Checking for System Verification
Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, ...