Sciweavers

16968 search results - page 120 / 3394
» Software Engineering in the Small
Sort
View
110
Voted
QSIC
2007
IEEE
15 years 10 months ago
A Certified Infinite Norm for the Implementation of Elementary Functions
Sylvain Chevillard, Christoph Quirin Lauter
SCAM
2007
IEEE
15 years 10 months ago
Towards Path-Sensitive Points-to Analysis
Tobias Gutzmann, Jonas Lundberg, Welf Löwe