Skip to content

Probabilistic reasoning for analysis of approximate computations.

Sasa Misailovic

Year2017
ProceedingsCASES

Browse the full CASES paper archive.