1036 search results - page 16 / 208 » Verification Programs for Abduction |
111
Voted
IFIP
2009
Springer
15 years 8 months ago
2009
Springer
113
Voted
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
130
click to vote
LISP
2002
15 years 3 months ago
2002
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...