The Imandra Automated Reasoning System (System Description) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Grant O. Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto. The Imandra Automated Reasoning System (System Description). In Nicolas Peltier, Viorica Sofronie-Stokkermans, editors, Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II. Volume 12167 of Lecture Notes in Computer Science, pages 464-471, Springer, 2020. [doi]

This author has not been identified. Look up 'Grant O. Passmore' in GoogleThis author has not been identified. Look up 'Simon Cruanes' in GoogleThis author has not been identified. Look up 'Denis Ignatovich' in GoogleThis author has not been identified. Look up 'Dave Aitken' in GoogleThis author has not been identified. Look up 'Matt Bray' in GoogleThis author has not been identified. Look up 'Elijah Kagan' in GoogleThis author has not been identified. Look up 'Kostya Kanishev' in GoogleThis author has not been identified. Look up 'Ewen Maclean' in GoogleThis author has not been identified. Look up 'Nicola Mometto' in Google

runs on WebDSL