✦ LIBER ✦
[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - Theorem Proving for Verification: The Early Days
✍ Scribed by Moore, J Strother
- Book ID
- 111858282
- Publisher
- IEEE
- Year
- 2010
- Weight
- 151 KB
- Volume
- 0
- Category
- Article
- ISBN
- 1424475880
No coin nor oath required. For personal study only.