Building a Calculus of Data Structures

In  Verification, Model Checking, and Abstract Interpretation (VMCAI 2010)

Publisher  Springer

Details

TypeInproceedings
Pages26-44
SeriesLNCS
> Publications > Building a Calculus of Data Structures