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

From MaRDI portal
Publication:493846