Shape analysis with structural invariant checkers Conference Proceeding

Overview

CU Boulder Authors

• Chang, Bor-Yuh Evan

publication date

• August 22, 2007

Full Author List

• Chang B-YE; Rival X; Necula GC

published in

• Lecture Notes in Artificial Intelligence  Journal

Other Profiles

International Standard Book Number (ISBN) 13

• 978-3-540-74060-5

Additional Document Info

start page

• 384

end page

• +

volume

• 4634