Sciweavers

1799 search results - page 10 / 360
» The Logic of Correctness in Software Engineering
Sort
View
AMAST
1998
Springer
13 years 11 months ago
Abstract Algebraic Logic
Don Pigozzi
PEPM
1998
ACM
13 years 11 months ago
Logic Program Specialisation
Michael Leuschel
AADEBUG
1993
Springer
13 years 11 months ago
Debugging Logic Programs Using Specifications
Yuh-Jeng Lee, Nachum Dershowitz