Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings

Saved in:

Authors and Corporations:	Cousot, Radhia (Author), Martel, Matthieu (Editor)
Title:	Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings/ edited by Radhia Cousot, Matthieu Martel
Type of Resource:	E-Book Conference Proceedings
Language:	English
published:	Berlin, Heidelberg Springer Berlin Heidelberg 2010
Series:	SpringerLink Lecture notes in computer science ; 6337
Subjects:	Logic design Computer simulation Computer Science Computer science Software engineering Computer programming. Compilers (Computer programs). Machine theory. Konferenzschrift > 2010 > Perpignan
Druckausg.:	Static analysis, Berlin : Springer, 2010, XI, 471 S.
Source:	Verbunddaten SWB