Combining Theories with Shared Set Operations

Thomas Wies, Ruzica Piskac, and Viktor Kuncak

Details

Publication typeInproceedings
Published inSymposium on Frontiers of Combining Systems (FroCos 2009)
Pages366-382
Volume5749
SeriesLNCS
PublisherSpringer
> Publications > Combining Theories with Shared Set Operations