Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security Synthesis Lectures on Software Engineering Autor Corina S. Păsăreanu 13 mai 2020 Paperback Preț: 160.92 lei 38-44 zile
