Probabilistic abstract interpretation (2012)

by Patrick Cousot, Michael Monerau
Venue:In Proceedings of the European Symposium on Programming (ESOP