✦ LIBER ✦
[ACM Press the 7th Workshop - Beijing, China (2012.06.15-2012.06.15)] Proceedings of the 7th Workshop on Programming Languages and Analysis for Security - PLAS '12 - Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment
✍ Scribed by Doligez, Damien; Jaume, Mathieu; Rioboo, Renaud
- Book ID
- 125332003
- Publisher
- ACM Press
- Year
- 2012
- Weight
- 332 KB
- Category
- Article
- ISBN
- 1450314414
No coin nor oath required. For personal study only.