Verification Patterns – Taking Reuse to the Next Level Author(s): Harry Foster, Michael Horn, Bob Oden, Pradeep Salla, and Hans van der Schoot Location: United States Year: 2016 Type: Paper Download