Abstract interpretation of probabilistic semantics (2000)

by David Monniaux
Venue:In Seventh International Static Analysis Symposium (SAS’00), number 1824 in Lecture Notes in Computer Science
Citations:29 - 5 self