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.05 lei 39-44 zile
