Sciweavers

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