Static analysis. 1st international symposium, SAS '94, Namur (Belgium), September 28--30, 1994. Proceedings

From MaRDI portal
Publication:1339985