Static analysis. 22nd international symposium, SAS 2015, Saint-Malo, France, September 9--11, 2015. Proceedings

DOI10.1007/978-3-662-48288-9MaRDI QIDQ493846zbMATH OpenOpenAlexFDO

Authors

Publication date 4 September 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-48288-9

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of software (68Nxx)

Cited in

(7)

• Static analysis. 5th international symposium, SAS '98, Pisa, Italy, September 14--16, 1998. Proceedings
• Static analysis. 1st international symposium, SAS '94, Namur (Belgium), September 28--30, 1994. Proceedings
• Static analysis. 25th international symposium, SAS 2018, Freiburg, Germany, August 29--31, 2018. Proceedings
• Static analysis. 2nd international symposium, SAS '95, Glasgow, GB, September 25--27, 1995. Proceedings
• Foreword to the special issue on the 2017 static analysis symposium
• Static analysis. 26th international symposium, SAS 2019, Porto, Portugal, October 8--11, 2019. Proceedings
• Static analysis. 20th international symposium, SAS 2013, Seattle, WA, USA, June 20--22, 2013. Proceedings

This page was built for publication: Static analysis. 22nd international symposium, SAS 2015, Saint-Malo, France, September 9--11, 2015. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q493846)