Sciweavers

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