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

From MaRDI portal
Publication:313002