Sciweavers

8627 search results - page 19 / 1726
» Software Engineering Using RATionale
Sort
View
74
Voted
EWSPT
2003
Springer
15 years 3 months ago
Flexible Static Semantic Checking Using First-Order Logic
Shimon Rura, Barbara Staudt Lerner