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ț: 174.06 lei 38-44 zile
