Abstract interpretation of programs as Markov decision processes (2005)

by D Monniaux
Venue:Science of Computer Programming