Showing 1 - 4 results of 4 for search 'Rinetzky, N', query time: 0.16s
Refine Results
-
1
Abstraction for Concurrent Objects by Filipovic, I, O’Hearn, P, Rinetzky, N, Yang, H
Published 2010Journal article -
2
Abstraction for Concurrent Objects by Filipovic, I, O’Hearn, P, Rinetzky, N, Yang, H
Published 2009Conference item -
3
Abstraction for concurrent objects by Filipovic, I, O'Hearn, P, Rinetzky, N, Yang, H
Published 2010Journal article -
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