Abstract interpretation of probabilistic semantics (2000)

by D Monniaux
Venue:in Proc. of SAS’00, ser. LNCS