Showing 1 - 1 results of 1 for search 'Ranjit Jhala', query time: 0.02s Refine Results
  1. 1
    Interpolant-Based Transition Relation Approximation

    Interpolant-Based Transition Relation Approximation by Ranjit Jhala, Kenneth L. McMillan

    Published 2007-11-01
    Get full text
    Article

Search Tools: