Citations refer to the original publication, not to a Scieee localized version.
Galán Morillo, F. J., & Cañete Valdeón, J. M. (2004). A Method for Compiling and Executing Expressive Assertions. Springer. https://doi.org/10.1007/978-3-540-24756-2_28
Galán Morillo, Francisco José, and José Miguel Cañete Valdeón. A Method for Compiling and Executing Expressive Assertions. Springer, 2004. https://doi.org/10.1007/978-3-540-24756-2_28.
Galán Morillo, Francisco José, and José Miguel Cañete Valdeón. A Method for Compiling and Executing Expressive Assertions. Springer, 2004. https://doi.org/10.1007/978-3-540-24756-2_28.
Galán Morillo, F. J. and Cañete Valdeón, J. M. (2004) A Method for Compiling and Executing Expressive Assertions. Springer. Available at: https://doi.org/10.1007/978-3-540-24756-2_28.
F. J. Galán Morillo and J. M. Cañete Valdeón, “A Method for Compiling and Executing Expressive Assertions,” Springer, 2004, doi: 10.1007/978-3-540-24756-2_28.
@misc{galanmorillo2004method,
author = {Galán Morillo, Francisco José and Cañete Valdeón, José Miguel},
title = {A Method for Compiling and Executing Expressive Assertions},
year = {2004},
publisher = {Springer},
doi = {10.1007/978-3-540-24756-2_28},
url = {https://doi.org/10.1007/978-3-540-24756-2_28}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.