Symbolic Execution and Quantitative ReasoningCorina S. PasareanuPocketEngelskDel av serien Synthesis Lectures on Software EngineeringLegg i handlekurvNettlager