Static analysis. 9th international symposium, SAS 2002, Madrid, Spain, September 17--20, 2002. Proceedings

MaRDI QIDQ1850310zbMATH OpenFDO

Authors

Publication date 3 December 2002

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

zbMATH Keywords

ProceedingsSymposiumMadrid (Spain)Static analysisSAS 2002

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited in

(3)

• Static analysis. 5th international symposium, SAS '98, Pisa, Italy, September 14--16, 1998. Proceedings
• Static analysis. 2nd international symposium, SAS '95, Glasgow, GB, September 25--27, 1995. Proceedings
• Static analysis. 1st international symposium, SAS '94, Namur (Belgium), September 28--30, 1994. Proceedings

This page was built for publication: Static analysis. 9th international symposium, SAS 2002, Madrid, Spain, September 17--20, 2002. Proceedings

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