Showing 1 - 2 results of 2 for search 'James F. Power', query time: 0.02s Refine Results
  1. 1
    Predicting SMT Solver Performance for Software Verification

    Predicting SMT Solver Performance for Software Verification by Andrew Healy, Rosemary Monahan, James F. Power

    Published 2017-01-01
    Get full text
    Article
  2. 2
    Building Specifications in the Event-B Institution

    Building Specifications in the Event-B Institution by Marie Farrell, Rosemary Monahan, James F. Power

    Published 2022-11-01
    Get full text
    Article

Search Tools: