Building a Calculus of Data Structures
Viktor Kuncak, Ruzica Piskac, Philippe Suter, and Thomas Wies
2010
In Verification, Model Checking, and Abstract Interpretation (VMCAI 2010)
Publisher Springer
Details
| Type | Inproceedings |
| Pages | 26-44 |
| Series | LNCS |
Related Labs
Share
