Sciweavers

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