Selectively-Amortized Resource Bounding Conference Proceeding

Overview

CU Boulder Authors

• Chang, Bor-Yuh Evan
• Trivedi, Ashutosh

publication date

• October 17, 2021

has restriction

• closed

Date in CU Experts

• December 3, 2021 10:09 AM

Full Author List

• Lu T; Chang B-YE; Trivedi A

Full Editor List

• Dragoi C; Mukherjee S; Namjoshi K

author count

• 3

citation count

• 2

published in

• Lecture Notes in Artificial Intelligence  Journal

presented at event

• 28th International Static Analysis Symposium (SAS)  Conference

Other Profiles

International Standard Serial Number (ISSN)

• 0302-9743

Electronic International Standard Serial Number (EISSN)

• 1611-3349

Digital Object Identifier (DOI)

• https://doi.org/10.1007/978-3-030-88806-0_14

International Standard Book Number (ISBN) 13

• 978-3-030-88805-3

Additional Document Info

start page

• 286

end page

• 307

volume

• 12913