Showing 1 - 4 results of 4 for search 'Sagiv, M', query time: 0.24s
Refine Results
-
1
Abstractions from Tests by Naik, M, Yang, H, Castelnuovo, G, Sagiv, M
Published 2012Journal article -
2
Abstractions from Tests by Naik, M, Yang, H, Castelnuovo, G, Sagiv, M, ACM
Published 2012Journal article -
3
Ranking Abstractions by Chawdhary, A, Cook, B, Gulwani, S, Sagiv, M, Yang, H
Published 2015Conference item -
4
Modularity in lattices: a case study on the correspondence between top-down and bottom-up analysis by Castelnuovo, G, Naik, M, Rinetzky, N, Sagiv, M, Yang, H
Published 2015Conference item