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:21 - 0 self