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]
@inproceedings{PassmoreCIABKKM20,
title = {The Imandra Automated Reasoning System (System Description)},
author = {Grant O. Passmore and Simon Cruanes and Denis Ignatovich and Dave Aitken and Matt Bray and Elijah Kagan and Kostya Kanishev and Ewen Maclean and Nicola Mometto},
year = {2020},
doi = {10.1007/978-3-030-51054-1_30},
url = {https://doi.org/10.1007/978-3-030-51054-1_30},
researchr = {https://researchr.org/publication/PassmoreCIABKKM20},
cites = {0},
citedby = {0},
pages = {464-471},
booktitle = {Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II},
editor = {Nicolas Peltier and Viorica Sofronie-Stokkermans},
volume = {12167},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-51054-1},
}