Shape Analysis for Composite Data Structures

In  Computer Aided Verification (CAV 2007)

Publisher  Springer

Details

TypeInproceedings
Pages178–192
Volume4590
SeriesLNCS
> Publications > Shape Analysis for Composite Data Structures