APA (7th ed.) Citation

SAS Cascais, Hermenegildo, M. V., & Morales, J. F. (2023). Static analysis: 30th international symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, proceedings. Springer. https://doi.org/10.1007/978-3-031-44245-2

Chicago Style (17th ed.) Citation

SAS Cascais, Manuel V. Hermenegildo, and José F. Morales. Static Analysis: 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings. Cham, Switzerland: Springer, 2023. https://doi.org/10.1007/978-3-031-44245-2.

MLA (9th ed.) Citation

SAS Cascais, et al. Static Analysis: 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings. Springer, 2023. https://doi.org/10.1007/978-3-031-44245-2.