VIVO
CU:
Home
•
A to Z
•
Campus Map
Home
People
Organizations
Publications
Honors
Research
International
About
33rd IEEE/ACM International Conference on Automated Software Engineering (ASE)
Conference
Publications
Publications
related documents
Safe Stream-Based Programming with Refinement Types
Conference Proceeding