BugFinder: Automatische Fehlerfindung in nebenläufiger Software

Vorschaubild

Dateien

Endbericht_PG480.pdf (2.08 MB)

Datum

2007-02-16T07:52:03Z

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Sonstige Titel

Bug-Finder: Enhanced Error Detection in Concurrent Computer Programs

Zusammenfassung

Beschreibung

Inhaltsverzeichnis

Schlagwörter

Schlagwörter nach RSWK

Zitierform

URI

http://hdl.handle.net/2003/23282
 http://dx.doi.org/10.17877/DE290R-7672

Sammlungen

Projektgruppenberichte

Befürwortung

Review

Ergänzt durch

Referenziert von