Search Results - Kagan, Elijah

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    The Imandra Automated Reasoning System (system description)

    The Imandra Automated Reasoning System (system description) by Grant Olney Passmore, Cruanes, Simon, Ignatovich, Denis, Aitken, Dave, Bray, Matt, Kagan, Elijah, Kanishev, Kostya, Maclean, Ewen, Mometto, Nicola

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: