Citations refer to the original publication, not to a Scieee localized version.
Oakes, B. J., Troya Castilla, J., Lúcio, L., & Wimmer, M. (2015). Fully Verifying Transformation Contracts for Declarative ATL. IEEE Computer Society. https://doi.org/10.1109/MODELS.2015.7338256
Oakes, Bentley James, et al. Fully Verifying Transformation Contracts for Declarative ATL. IEEE Computer Society, 2015. https://doi.org/10.1109/MODELS.2015.7338256.
Oakes, Bentley James, Javier Troya Castilla, Levy Lúcio, and Manuel Wimmer. Fully Verifying Transformation Contracts for Declarative ATL. IEEE Computer Society, 2015. https://doi.org/10.1109/MODELS.2015.7338256.
Oakes, B. J. et al. (2015) Fully Verifying Transformation Contracts for Declarative ATL. IEEE Computer Society. Available at: https://doi.org/10.1109/MODELS.2015.7338256.
B. J. Oakes, J. Troya Castilla, L. Lúcio, and M. Wimmer, “Fully Verifying Transformation Contracts for Declarative ATL,” IEEE Computer Society, 2015, doi: 10.1109/MODELS.2015.7338256.
@misc{oakes2015fully,
author = {Oakes, Bentley James and Troya Castilla, Javier and Lúcio, Levy and Wimmer, Manuel},
title = {Fully Verifying Transformation Contracts for Declarative ATL},
year = {2015},
publisher = {IEEE Computer Society},
doi = {10.1109/MODELS.2015.7338256},
url = {https://doi.org/10.1109/MODELS.2015.7338256}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.
