Static analysis 30th international symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, proceedings - Hermenegildo, Manuel V.; Morales, José F. (Springer, 2023)