1414 search results - page 13 / 283 » Combining Intruder Theories |
FROCOS
2009
Springer
14 years 4 months ago
2009
Springer
CORR
2004
Springer
13 years 9 months ago
2004
Springer
JSC
2010
13 years 8 months ago
2010
CADE
2010
Springer
13 years 7 months ago
2010
Springer
CADE
2005
Springer
14 years 10 months ago
2005
Springer
We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...