Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

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

From MaRDI portal
Publication:1850310
Jump to:navigation, search

zbMATH Open1001.00049MaRDI QIDQ1850310FDOQ1850310


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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1850310&oldid=14234876"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 1 February 2024, at 11:06. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki