Showing 1 - 4 results of 4 for search 'Filipovic, I', query time: 0.13s
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
Blaiming the Client: On Data Refinement in the Presence of Pointers by Filipovic, I, O’Hearn, P, Torp−Smith, N, Yang, H
Published 2010Journal article