A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout. A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo. In 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013. pages 161-168, IEEE, 2013. [doi]

This author has not been identified. Look up 'Sylvain Conchon' in GoogleThis author has not been identified. Look up 'Mohamed Iguernelala' in GoogleThis author has not been identified. Look up 'Alain Mebsout' in Google

runs on WebDSL