- 50%
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security
Sold by Corina S. Păsăreanu
Original price was: $5.00.$2.50Current price is: $2.50.