MLA

Hermenegildo, Manuel V, and José F Morales. Static Analysis : 30th International Symposium, Sas 2023, Cascais, Portugal, October 22-24, 2023, Proceedings. Cham: Springer, 2023.

APA

Hermenegildo, M. V, & Morales, J. F. (2023). Static Analysis : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings. Cham: Springer.

Chicago

Hermenegildo, Manuel V., and José F Morales. Static Analysis : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings. Cham: Springer, 2023.