Sciweavers

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