Type-Directed Bounding of Collections in Reactive Programs Journal Article

Overview

CU Boulder Authors

• Chang, Bor-Yuh Evan
• Trivedi, Ashutosh

publication date

• January 1, 2019

has restriction

• closed

Date in CU Experts

• December 31, 2019 9:16 AM

Full Author List

• Lu T; Cerny P; Chang B-YE; Trivedi A

Full Editor List

• Enea C; Piskac R

author count

• 4

citation count

• 2

published in

• Lecture Notes in Artificial Intelligence  Journal

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-11245-5_13

Additional Document Info

start page

• 275

end page

• 296

volume

• 11388