Abstract interpretation of probabilistic semantics (2000)

by David Monniaux
Venue:In Proceeding of the Seventh International Static Analysis Symposium (SAS’00), number 1824 in LNCS