SAS 2023

Date: Oct 22, 2023 1:00 am – Oct 24, 2023 11:00 am
Location: Cascais, Portugal

30th Static Analysis Symposium (SAS 2023)

Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area. A selection of papers will be invited to a special issue of Springer’s journal Formal Methods in System Design.

  • 2023
  • Symposium
Submitted by Anonymous on
Feedback
Feedback
If you experience a bug or would like to see an addition or change on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.