Tengshun Yang

Publications with FICTION

Book Chapters

  1. (2024). A Unified Framework for Quantitative Analysis of Probabilistic Programs. JPK’s Festschrift. PDF Cite DOI