Sciweavers

1351 search results - page 11 / 271
» Towards a Spreadsheet Engineering
Sort
View
109
Voted
FSEN
2009
Springer
16 years 3 days ago
Towards a Notion of Unsatisfiable Cores for LTL
Viktor Schuppan
105
Voted
SCAM
2007
IEEE
15 years 11 months ago
Towards Path-Sensitive Points-to Analysis
Tobias Gutzmann, Jonas Lundberg, Welf Löwe