Static analysis. 23rd international symposium, SAS 2016, Edinburgh, UK, September 8--10, 2016. Proceedings

DOI10.1007/978-3-662-53413-7MaRDI QIDQ313002zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 9 September 2016

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-53413-7

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)

• Proceedings of the 7th international workshop on static analysis and systems biology (SASB 2016), University of Edinburgh, Scotland, UK, September 7, 2016
• Static analysis. 2nd international symposium, SAS '95, Glasgow, GB, September 25--27, 1995. Proceedings
• Static analysis. 20th international symposium, SAS 2013, Seattle, WA, USA, June 20--22, 2013. Proceedings
• Static analysis. 25th international symposium, SAS 2018, Freiburg, Germany, August 29--31, 2018. Proceedings
• Static analysis. 26th international symposium, SAS 2019, Porto, Portugal, October 8--11, 2019. Proceedings

This page was built for publication: Static analysis. 23rd international symposium, SAS 2016, Edinburgh, UK, September 8--10, 2016. Proceedings

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