A Generalization of Shostak s Method for Combining Decision Procedures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Clark W. Barrett, David L. Dill, Aaron Stump. A Generalization of Shostak s Method for Combining Decision Procedures. In Alessandro Armando, editor, Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings. Volume 2309 of Lecture Notes in Computer Science, pages 132-146, Springer, 2002. [doi]

This author has not been identified. Look up 'Clark W. Barrett' in GoogleThis author has not been identified. Look up 'David L. Dill' in GoogleThis author has not been identified. Look up 'Aaron Stump' in Google

runs on WebDSL