Polynomial Constraints for Sets with Cardinality Bounds - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bruno Marnette, Viktor Kuncak, Martin C. Rinard. Polynomial Constraints for Sets with Cardinality Bounds. In Helmut Seidl, editor, Foundations of Software Science and Computational Structures, 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings. Volume 4423 of Lecture Notes in Computer Science, pages 258-273, Springer, 2007. [doi]

This author has not been identified. Look up 'Bruno Marnette' in GoogleThis author has not been identified. Look up 'Viktor Kuncak' in GoogleThis author has not been identified. Look up 'Martin C. Rinard' in Google

runs on WebDSL