Shape analysis with structural invariant checkers
Conference Proceeding
Overview
publication date
- August 22, 2007
Full Author List
- Chang B-YE; Rival X; Necula GC
published in
Other Profiles
International Standard Book Number (ISBN) 13
- 978-3-540-74060-5
Additional Document Info
start page
- 384
end page
- +
volume
- 4634