Logo des Repositoriums
 
Konferenzbeitrag

Towards Practical Predicate Analysis

Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Dateien

invited_paper_4.pdf (458.13 KB)

Zusatzinformation

Datum

2018

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Ausgezeichnete Informatikdissertationen 2017

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

Beschreibung

Wendler, Philipp (2018): Towards Practical Predicate Analysis. Ausgezeichnete Informatikdissertationen 2017. Bonn: Gesellschaft für Informatik e.V.. ISBN: 978-3-88579-977-1. pp. 261-270. Schoss Dagstuhl, Deutschland. 6.-9.Mai 2018

Schlagwörter

Zitierform

DOI

Tags

Sammlungen

D18 (2017) - Ausgezeichnete Informatikdissertationen