✦ LIBER ✦
[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 3125 || Describing Gen/Kill Static Analysis Techniques with Kleene Algebra
✍ Scribed by Kozen, Dexter
- Book ID
- 118025655
- Publisher
- Springer Berlin Heidelberg
- Year
- 2004
- Weight
- 275 KB
- Category
- Article
- ISBN
- 3540277641
No coin nor oath required. For personal study only.