Shape Analysis for Composite Data StructuresOpen Website

Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang

2007 (modified: 03 Apr 2023)CAV 2007Readers: Everyone
0 Replies