Showing 1 - 4 results of 4 for search 'Berdine, J', query time: 0.02s
Refine Results
-
1
SAW: the spatial assertion workbench by Calcagno, C, Berdine, J, Yang, H, O'Hearn, P
Published 2015Conference item -
2
Shape Analysis for Composite Data Structures by Berdine, J, Calcagno, C, Cook, B, Distefano, D, O'Hearn, P, Wies, T, Yang, H
Published 2007Conference item -
3
Scalable shape analysis for systems code by Yang, H, Lee, O, Berdine, J, Calcagno, C, Cook, B, Distefano, D, O'Hearn, P
Published 2008Journal article -
4
Scalable Shape Analysis for Systems Code by Yang, H, Lee, O, Berdine, J, Calcagno, C, Cook, B, Distefano, D, O'Hearn, P
Published 2008Conference item