Browsing by Author D'Amorim, M
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 9-Jun-2014 | Compositional solution space quantification for probabilistic software analysis | Borges, M; Filieri, A; D'Amorim, M; Păsăreanu, CS; Visser, W |