Modular Construction of Shape-Numeric Analyzers Conference Proceeding

• Best Open Access

Overview

CU Boulder Authors

• Chang, Bor-Yuh Evan

publication date

• January 1, 2013

has restriction

• gold

Date in CU Experts

• February 1, 2017 10:08 AM

Full Author List

• Chang B-YE; Rival X

author count

• 2

citation count

• 11

published in

• Electronic Proceedings in Theoretical Computer Science  Journal

Other Profiles

International Standard Serial Number (ISSN)

• 2075-2180

Digital Object Identifier (DOI)

• https://doi.org/10.4204/eptcs.129.11

Additional Document Info

start page

• 161

end page

• 185

issue

• 129