I created the Verification Gap

Author(s):
Ram Narayan and Tom Symons
Download