Sciweavers

15784 search results - page 142 / 3157
» Mega Software Engineering
Sort
View
EWSPT
2003
Springer
16 years 2 days ago
Flexible Static Semantic Checking Using First-Order Logic
Shimon Rura, Barbara Staudt Lerner