Sciweavers

15778 search results - page 47 / 3156
» Aikido and software engineering
Sort
View
80
Voted
AADEBUG
1993
Springer
15 years 4 months ago
Debugging Logic Programs Using Specifications
Yuh-Jeng Lee, Nachum Dershowitz