Safe Programming over Distributed Streams.
- 주제(키워드) Data processing , Formal methods , Programming languages , Stream processing
- 발행기관 University of Pennsylvania
- 발행년도 2022
- 학위명 박사
- 학과 및 전공 Computer and Information Science
- ISBN 9798351434650
- UCI I804:11009-000000274352
- DOI 10.23186/korea.000000274352.11009.0001360
- 제출원본 PQDT29322140
