Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings

Manuel V. Hermenegildo, José F. Morales 0001, editors, Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings. Volume 14284 of Lecture Notes in Computer Science, Springer, 2023. [doi]

Conference: SAS2023

Editors

Manuel V. Hermenegildo

This author has not been identified. It may be one of the following persons: Look up 'Manuel V. Hermenegildo' in Google

José F. Morales 0001

This author has not been identified. Look up 'José F. Morales 0001' in Google