Search Results - Kabbani, Nabil M.

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Formal Reasoning Using an Iterative Approach with an Integrated Web IDE

    Formal Reasoning Using an Iterative Approach with an Integrated Web IDE by Kabbani, Nabil M., Welch, Daniel, Priester, Caleb, Schaub, Stephen, Durkee, Blair, Sun, Yu-Shan, Sitaraman, Murali

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Formal Reasoning Using an Iterative Approach with an Integrated Web IDE

    Formal Reasoning Using an Iterative Approach with an Integrated Web IDE by Kabbani, Nabil M, Welch, Daniel, Priester, Caleb, Schaub, Stephen, Durkee, Blair, Yu-Shan, Sun, Sitaraman, Murali

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

Search Tools: