Multi-Language Verification: Solutions for Real World Problems Author(s): Bryan Sniderman and Vitaly Yankelevich Location: United States Year: 2014 Type: Presentation Download