An abstract specification language for static program analysis

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Michael Vistein, Frank Ortmeier, Wolfgang ReifORCiDGND, Ralf Huuck, Ansgar Fehnker
URN:urn:nbn:de:bvb:384-opus4-584900
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/58490
ISSN:1571-0661OPAC
Parent Title (English):Electronic Notes in Theoretical Computer Science
Publisher:Elsevier BV
Type:Article
Language:English
Year of first Publication:2009
Publishing Institution:Universität Augsburg
Release Date:2019/07/18
Tag:Theoretical Computer Science; General Computer Science
Volume:254
First Page:181
Last Page:197
DOI:https://doi.org/10.1016/j.entcs.2009.09.066
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):CC-BY-NC-ND 4.0: Creative Commons: Namensnennung - Nicht kommerziell - Keine Bearbeitung (mit Print on Demand)