Citations refer to the original publication, not to a Scieee localized version.
Ruiz Reina, J. L. (2014). Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems. Springer. https://doi.org/10.1007/978-3-319-13770-4_1
Ruiz Reina, José Luis. Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems. Springer, 2014. https://doi.org/10.1007/978-3-319-13770-4_1.
Ruiz Reina, José Luis. Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems. Springer, 2014. https://doi.org/10.1007/978-3-319-13770-4_1.
Ruiz Reina, J. L. (2014) Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems. Springer. Available at: https://doi.org/10.1007/978-3-319-13770-4_1.
J. L. Ruiz Reina, “Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems,” Springer, 2014, doi: 10.1007/978-3-319-13770-4_1.
@misc{ruizreina2014proving,
author = {Ruiz Reina, José Luis},
title = {Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems},
year = {2014},
publisher = {Springer},
doi = {10.1007/978-3-319-13770-4_1},
url = {https://doi.org/10.1007/978-3-319-13770-4_1}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.
