166
click to vote
FROCOS
2009
Springer
15 years 9 months 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...