Datensatz

DATENSATZ AKTIONENEXPORT

DownloadE-Mail

Lokale TagsFreigabegeschichteDetailsÜbersicht

Efficient deductive methods for program analysis

Ganzinger, H. (2001). Efficient deductive methods for program analysis. ACM SIGPLAN Notices, 36(3), 102-103. Retrieved from http://www.acm.org/pubs/citations/proceedings/plan/360204/p102-ganzinger/; http://www.acm.org/pubs/articles/proceedings/plan/360204/p102-ganzinger/p102-ganzinger.pdf.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3216-3 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3217-1

Genre: Zeitschriftenartikel

Dateien

einblenden: Dateien

Externe Referenzen

Urheber

ausblenden:

Urheber:
Ganzinger, Harald¹, Autor

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Inhalt

Details

ausblenden:

Sprache(n): eng - English

Datum: Geändert: 2010-03-12Erschienen: 2001

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: -

Inhaltsverzeichnis: -

Art der Begutachtung: Expertenbegutachtung

Identifikatoren: eDoc: 519839
URI: http://www.acm.org/pubs/citations/proceedings/plan/360204/p102-ganzinger/; http://www.acm.org/pubs/articles/proceedings/plan/360204/p102-ganzinger/p102-ganzinger.pdf
Anderer: Local-ID: C1256104005ECAFC-D3A03BCFE06E5150C1256B44005E1BD2-Ganzinger:2001:EDM

Art des Abschluß: -

Veranstaltung

Entscheidung

Projektinformation

Quelle 1

ausblenden:

Titel: ACM SIGPLAN Notices

Genre der Quelle: Zeitschrift

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: -

Seiten: - Band / Heft: 36 (3) Artikelnummer: - Start- / Endseite: 102 - 103 Identifikator: ISSN: 0362-1340