A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo.
| Autor: | Conchon, Sylvain, Iguernelala, Mohamed, Mebsout, Alain |
|---|---|
| Zdroj: | 2013 15th International Symposium on Symbolic & Numeric Algorithms for Scientific Computing; 2013, p161-168, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|