Sciweavers

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