Login / Signup

Probabilistic Output Analyses for Deterministic Programs - Reusing Existing Non-probabilistic Analyses.

Maja Hanne Kirkeby
Published in: QAPL@ETAPS (2019)
Keyphrases