@inproceedings{Boyer_1975,
    doi = {10.1145/800027.808445},
    url = {https://doi.org/10.1145%2F800027.808445},
    year = {1975},
    publisher = {{ACM} Press},
    author = {Robert S. Boyer and Bernard Elspas and Karl N. Levitt},
    title = {{SELECT}---a formal system for testing and debugging programs by symbolic execution},
    booktitle = {Proceedings of the international conference on Reliable software  -}
}

@inproceedings{Boyer_1975, doi = {10.1145/800027.808445}, url = {https://doi.org/10.1145%2F800027.808445}, year = {1975}, publisher = {{ACM} Press}, author = {Robert S. Boyer and Bernard Elspas and Karl N. Levitt}, title = {{SELECT}---a formal system for testing and debugging programs by symbolic execution}, booktitle = {Proceedings of the international conference on Reliable software -} }