APA (7th ed.) Citation

Huerta y Munive, J. J., & Struth, G. (2022). Predicate Transformer Semantics for Hybrid Systems: Verification Components for Isabelle/HOL. Journal of Automated Reasoning, 66(1), 93. https://doi.org/10.1007/s10817-021-09607-x

Chicago Style (17th ed.) Citation

Huerta y Munive, Jonathan Julián, and Georg Struth. "Predicate Transformer Semantics for Hybrid Systems: Verification Components for Isabelle/HOL." Journal of Automated Reasoning 66, no. 1 (2022): 93. https://doi.org/10.1007/s10817-021-09607-x.

MLA (9th ed.) Citation

Huerta y Munive, Jonathan Julián, and Georg Struth. "Predicate Transformer Semantics for Hybrid Systems: Verification Components for Isabelle/HOL." Journal of Automated Reasoning, vol. 66, no. 1, 2022, p. 93, https://doi.org/10.1007/s10817-021-09607-x.