Pragmatic Verification Reuse in a Vertical World

Author(s):
Mark Litterick