DMCA

Static Analysis of Programs with Imprecise Probabilistic Inputs

by Assale Adje , Olivier Bouissou , Jean Goubault-larrecq , Eric Goubault , Sylvie Putot
Citations:3 - 0 self