DMCA

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