Shape Analysis for Composite Data Structures

In  Computer Aided Verification (CAV 2007)

Publisher  Springer

Details

TypeInproceedings
Pages178–192
Volume4590
SeriesLNCS
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Shape Analysis for Composite Data Structures