Sciweavers

15974 search results - page 211 / 3195
» Object-Oriented Software Engineering
Sort
View
EWSPT
2003
Springer
15 years 11 months ago
Flexible Static Semantic Checking Using First-Order Logic
Shimon Rura, Barbara Staudt Lerner