VIVO
CU:
Home
•
A to Z
•
Campus Map
Home
People
Organizations
Publications
Honors
Research
International
About
Type-Directed Bounding of Collections in Reactive Programs
Journal Article
Best Open Access
Overview
Other Profiles
Additional Document Info
Overview
publication date
January 1, 2019
has restriction
green
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
1
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