> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Static Analysis: Witnessing Program Transformations Beteiligte: Namjoshi, Kedar S.; Zuck, Lenore D. Erschienen: Springer Berlin Heidelberg, 2013 Erschienen in: Static Analysis (2013), Seite 304-323 Sprache: Nicht zu entscheiden DOI: 10.1007/978-3-642-38856-9_17 ISBN: 9783642388552; 9783642388569 ISSN: 0302-9743; 1611-3349 Entstehung: Anmerkungen: