Sciweavers

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