Static analysis. 24th international symposium, SAS 2017, New York, NY, USA, August 30 -- September 1, 2017. Proceedings

DOI10.1007/978-3-319-66706-5MaRDI QIDQ2399094zbMATH OpenOpenAlexFDO

Authors

Publication date 21 August 2017

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

Full work available at URL https://doi.org/10.1007/978-3-319-66706-5

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

(4)

• 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
• Static analysis. 20th international symposium, SAS 2013, Seattle, WA, USA, June 20--22, 2013. Proceedings
• An iterative approach to precondition inference using constrained Horn clauses

This page was built for publication: Static analysis. 24th international symposium, SAS 2017, New York, NY, USA, August 30 -- September 1, 2017. Proceedings

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