Quantitative shape analysis (2004)
by
Radu Rugina
| Venue: | In Static Analysis Symposium (SAS’04 |
| Citations: | 23 - 1 self |
BibTeX
@INPROCEEDINGS{Rugina04quantitativeshape,
author = {Radu Rugina},
title = {Quantitative shape analysis},
booktitle = {In Static Analysis Symposium (SAS’04},
year = {2004},
pages = {228--245},
publisher = {SpringerVerlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 348 | S.K.: Automatic predicate abstraction of C programs 36(5 - Ball, Majumdar, et al. - 2001 |
