Grant Passmore: The Imandra Automated Reasoning System (system description) (IJCAR A)
Channel: IJCAR-FSCD 2020
Date: 2020-07-17

Authors: Grant Passmore, Simon Cruanes, Denis Ignatovich, David Aitken, Matthew Bray, Elijah Kagan, Konstantin Kanishev, Ewen Maclean, and Nicola Mometto

Aired: 2020-02-04 17:45:00 CEST (UTC+2)