@incollection{Roux_2016,
    doi = {10.1007/978-3-662-53413-7_21},
    url = {https://doi.org/10.1007%2F978-3-662-53413-7_21},
    year = {2016},
    publisher = {Springer Berlin Heidelberg},
    pages = {424--446},
    author = {Pierre Roux and Yuen-Lam Voronin and Sriram Sankaranarayanan},
    title = {Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants},
    booktitle = {Static Analysis}
}

@incollection{Roux_2016, doi = {10.1007/978-3-662-53413-7_21}, url = {https://doi.org/10.1007%2F978-3-662-53413-7_21}, year = {2016}, publisher = {Springer Berlin Heidelberg}, pages = {424--446}, author = {Pierre Roux and Yuen-Lam Voronin and Sriram Sankaranarayanan}, title = {Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants}, booktitle = {Static Analysis} }