Automated Pipeline Design

Bibliographic Details
Main Authors: Kroening, D, Paul, W
Format: Conference item
Published: ACM Press 2001