Multi-Language Verification: Solutions for Real World Problems

Author(s):
Bryan Sniderman and Vitaly Yankelevich
Location:
United States
Year:
2014
Type:
Presentation
Format:
pdf