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