Format:
Online-Ressource
,
graph. Darst.
ISBN:
9781424446452
,
0769537464
,
9780769537467
Note:
Literaturangaben
,
Co-located with the 16th International Static Analysis Symposium (SAS 2009)
,
Parallel als Druckausg. erschienen
Additional Edition:
ISBN 9780769537467
Language:
English
Keywords:
Informatik
;
Logik
;
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)
Bookmarklink