BugFinder: Automatische Fehlerfindung in nebenläufiger Software

Alternative Title(s)

Bug-Finder: Enhanced Error Detection in Concurrent Computer Programs

Abstract

Description

Table of contents

Keywords

Subjects based on RSWK

Citation