Publications

PHALANX: Parallel checking of expressive heap assertions

• • Martin Vechev
  • Eran Yahav
  • et al.
• 2010
• ISMM 2010