Multi-Language Verification: Solutions for Real World Problems Author(s): Bryan Sniderman and Vitaly Yankelevich Download
