Abstract interpretation of programs as Markov decision processes (2005)

Cached

Download Links

by David Monniaux , École Normale Supérieure
Venue:Science of Computer Programming 58
Citations:19 - 0 self