๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

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

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES