@inproceedings{P_s_reanu_2010,
    doi = {10.1145/1858996.1859035},
    url = {https://doi.org/10.1145%2F1858996.1859035},
    year = {2010},
    month = {sep},
    publisher = {{ACM}},
    author = {Corina S. P{\u{a}}s{\u{a}}reanu and Neha Rungta},
    title = {Symbolic {PathFinder}},
    booktitle = {Proceedings of the {IEEE}/{ACM} international conference on Automated software engineering}
}

@inproceedings{P_s_reanu_2010, doi = {10.1145/1858996.1859035}, url = {https://doi.org/10.1145%2F1858996.1859035}, year = {2010}, month = {sep}, publisher = {{ACM}}, author = {Corina S. P{\u{a}}s{\u{a}}reanu and Neha Rungta}, title = {Symbolic {PathFinder}}, booktitle = {Proceedings of the {IEEE}/{ACM} international conference on Automated software engineering} }