@incollection{Paraskevopoulou_2015,
    doi = {10.1007/978-3-319-22102-1_22},
    url = {https://doi.org/10.1007%2F978-3-319-22102-1_22},
    year = {2015},
    publisher = {Springer International Publishing},
    pages = {325--343},
    author = {Zoe Paraskevopoulou and C{\u{a}}t{\u{a}}lin Hri{\c{t}}cu and Maxime D{\'{e}}n{\`{e}}s and Leonidas Lampropoulos and Benjamin C. Pierce},
    title = {Foundational Property-Based Testing},
    booktitle = {Interactive Theorem Proving}
}

@incollection{Paraskevopoulou_2015, doi = {10.1007/978-3-319-22102-1_22}, url = {https://doi.org/10.1007%2F978-3-319-22102-1_22}, year = {2015}, publisher = {Springer International Publishing}, pages = {325--343}, author = {Zoe Paraskevopoulou and C{\u{a}}t{\u{a}}lin Hri{\c{t}}cu and Maxime D{\'{e}}n{`{e}}s and Leonidas Lampropoulos and Benjamin C. Pierce}, title = {Foundational Property-Based Testing}, booktitle = {Interactive Theorem Proving} }