Showing 1 - 2 results of 2 for search 'Chawdhary, A', query time: 0.02s Refine Results
  1. 1
    Metric Spaces and Termination Analyses

    Metric Spaces and Termination Analyses by Chawdhary, A, Yang, H

    Published 2010
    Conference item
  2. 2
    Ranking Abstractions

    Ranking Abstractions by Chawdhary, A, Cook, B, Gulwani, S, Sagiv, M, Yang, H

    Published 2015
    Conference item

Search Tools: