Sciweavers

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