Pragmatic Verification Reuse in a Vertical World Author(s): Mark Litterick Location: United States Year: 2013 Type: Poster Format: pdf Download