> Detailanzeige

Ströder, Thomas; Aschermann, Cornelius; Frohn, Florian; Hensel, Jera; Giesl, Jürgen

Tools and Algorithms for the Construction and Analysis of Systems: AProVE: Termination and Memory Safety of C Programs : (Competition Contribution)

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Schließen

Merkliste

Medientyp: E-Artikel
Titel: Tools and Algorithms for the Construction and Analysis of Systems: AProVE: Termination and Memory Safety of C Programs : (Competition Contribution)
Beteiligte: Ströder, Thomas; Aschermann, Cornelius; Frohn, Florian; Hensel, Jera; Giesl, Jürgen
Erschienen: Springer Berlin Heidelberg, 2015
Erschienen in: Tools and Algorithms for the Construction and Analysis of Systems
Sprache: Nicht zu entscheiden
DOI: 10.1007/978-3-662-46681-0_32
ISSN: 0302-9743; 1611-3349
Entstehung:
Anmerkungen: