Refuting Heap Reachability Conference Proceeding

Overview

CU Boulder Authors

• Chang, Bor-Yuh Evan

publication date

• January 19, 2014

Date in CU Experts

• February 1, 2017 4:25 AM

Full Author List

• Chang B-YE

Full Editor List

• McMillan KL; Rival X

author count

• 1

published in

• Lecture Notes in Artificial Intelligence  Journal

presented at event

• 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)  Conference

Other Profiles

International Standard Serial Number (ISSN)

• 0302-9743

International Standard Book Number (ISBN) 13

• 978-3-642-54012-7

Additional Document Info

start page

• 137

end page

• 141

volume

• 8318