Inferring Object Invariants Journal Article

• Best Open Access

Overview

CU Boulder Authors

• Chang, Bor-Yuh Evan

publication date

• May 24, 2005

has restriction

• gold

Date in CU Experts

• October 17, 2013 8:36 AM

Full Author List

• Chang B-YE; Leino KRM

author count

• 2

citation count

• 2

published in

• Electronic Notes in Theoretical Computer Science  Journal

Other Profiles

International Standard Serial Number (ISSN)

• 1571-0661

Digital Object Identifier (DOI)

• https://doi.org/10.1016/j.entcs.2005.01.023

Additional Document Info

start page

• 63

end page

• 74

volume

• 131