Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Gespeichert in:

Personen und Körperschaften:	Miné, Antoine (VerfasserIn), Schmidt, David A. (Sonstige)
Titel:	Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings/ edited by Antoine Miné, David Schmidt
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer 2012
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 7460
Schlagwörter:	Logic design Computer Science Computer programming > Congresses Programming languages (Electronic computers) > Congresses Computer science Software engineering Compilers (Computer programs). Machine theory. Konferenzschrift > 2012 > Deauville
Buchausg. u.d.T.:	Static analysis, Berlin : Springer, 2012, XI, 455 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz