Static analysis. 19th international symposium, SAS 2012, Deauville, France, September 11--13, 2012. Proceedings

DOI10.1007/978-3-642-33125-1MaRDI QIDQ446537zbMATH OpenOpenAlexFDO

Authors

Publication date 7 September 2012

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

Full work available at URL https://doi.org/10.1007/978-3-642-33125-1

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

(5)

• 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
• 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. 19th international symposium, SAS 2012, Deauville, France, September 11--13, 2012. Proceedings

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