BugFinder: Automatische Fehlerfindung in nebenläufiger Software

Thumbnail Image

Files

Endbericht_PG480.pdf (2.08 MB)

Date

2007-02-16T07:52:03Z

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Table of contents

Keywords

Citation

URI

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

Collections

Projektgruppenberichte