Building a Calculus of Data Structures

Viktor Kuncak, Ruzica Piskac, Philippe Suter, and Thomas Wies

Details

Publication typeInproceedings
Published inVerification, Model Checking, and Abstract Interpretation (VMCAI 2010)
Pages26-44
SeriesLNCS
PublisherSpringer
> Publications > Building a Calculus of Data Structures