2 citations · 2 across the 1 of their papers we have counts for
1 paper
Daniel J. Fremont, Sanjit A. Seshia
Quantitative program analysis involves computing numerical quantities about individual or collections of program executions. An example of such a computation is quantitative inform…