205
click to vote
FROCOS
2009
Springer
16 years 8 hour ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...