Abstract interpretation of programs as Markov decision processes (0)

by D Monniaux
Venue:Science of Computer Programming