Finding stale-value errors in concurrent programs

✍ Scribed by Michael Burrows; K. Rustan M. Leino

• Publisher: John Wiley and Sons
• Year: 2004
• Tongue: English
• Weight: 135 KB
• Volume: 16
• Category: Article
• ISSN: 1532-0626
• DOI: 10.1002/cpe.866