Lazy Shape Analysis

  • Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz
  • January 2006, Springer Science + Business Media
  • DOI: 10.1007/11817963_48

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1007/11817963_48