Combined Satisfiability Modulo Parametric Theories - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli. Combined Satisfiability Modulo Parametric Theories. In Orna Grumberg, Michael Huth, editors, Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedi. Volume 4424 of Lecture Notes in Computer Science, pages 602-617, Springer, 2007. [doi]

This author has not been identified. Look up 'Sava Krstic' in GoogleThis author has not been identified. Look up 'Amit Goel' in GoogleThis author has not been identified. Look up 'Jim Grundy' in GoogleThis author has not been identified. Look up 'Cesare Tinelli' in Google

runs on WebDSL